zeroc-icee-java (1.2.0-3) 20-source-version.patch

diff -Nur zeroc-icee-java/build.xml zeroc-icee-java.new/build.xml
--- zeroc-icee-java/build.xml	2007-06-23 15:43:04.000000000 +0200
+++ zeroc-icee-java.new/build.xml	2007-09-29 15:22:55.000000000 +0200
@@ -43,7 +43,7 @@
 	<mkdir dir="${cache.dir}"/>
 	<depend srcdir="${generated.dir}:${src.dir}:jdk" destdir="${jdk.lib.dir}" cache="${cache.dir}"/>
 	<javac srcdir="${generated.dir}:${src.dir}:jdk" destdir="${jdk.lib.dir}"
-            debug="${debug}" optimize="${optimize}" deprecation="on" target="1.1" source="1.2"/>
+            debug="${debug}" optimize="${optimize}" deprecation="on" target="1.1" source="1.3"/>
 	<jar jarfile="${jdk.lib.dir}/IceE.jar" basedir="${jdk.lib.dir}" excludes="IceE.jar"/>
     </target>