--- 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 @@