--- build.xml.orig 2015-04-11 20:26:25.459688628 +0200
+++ build.xml 2015-04-11 20:28:41.930026892 +0200
@@ -73,7 +73,7 @@
+ target="${compile.target}" extdirs="${compile.extdirs}" source="${compile.source}">
@@ -123,15 +123,6 @@
-
-
-
-
-
-
-
-
-
@@ -246,7 +237,7 @@
-
+