--- build.xml 2004-06-12 15:42:20.000000000 +0200
+++ build.xml-gil 2010-01-07 03:38:31.000000000 +0100
@@ -48,6 +48,9 @@
+
+
+
@@ -108,7 +111,8 @@
noindex="false"
nohelp="true"
nonavbar="false"
- serialwarn="false">
+ serialwarn="false"
+ source="${source.version}">
@@ -123,7 +127,9 @@
classpath="${classpath}"
debug="${javac.debug}"
deprecation="${javac.deprecation}"
- optimize="${javac.optimize}">
+ optimize="${javac.optimize}"
+ source="${source.version}"
+ target="${target.version}">
+ optimize="${javac.optimize}"
+ source="${source.version}"
+ target="${target.version}">