--- build.xml.orig 2004-12-08 20:30:23.568163145 +0200
+++ build.xml 2004-12-08 20:30:52.081632787 +0200
@@ -56,6 +56,9 @@
location properties to make it simpler to reset these values;
please provide feedback if this is useful.
-->
+
+
+
@@ -184,6 +187,7 @@
+
@@ -253,7 +257,7 @@
+ target="${javac.target}" source="${javac.source}" >
@@ -277,7 +281,7 @@
+ target="${javac.target}" source="${javac.source}" >
@@ -322,6 +326,7 @@
@@ -384,6 +389,7 @@
@@ -397,6 +403,7 @@
@@ -598,71 +605,85 @@
@@ -705,6 +726,7 @@
@@ -745,9 +767,11 @@
@@ -760,6 +784,7 @@