--- build.xml.orig	2005-04-19 20:41:32.000000000 +0200
+++ build.xml	2005-04-19 20:42:05.000000000 +0200
@@ -227,6 +227,7 @@
     <xjavac srcdir="${build.src}"
            destdir="${build.dest}"
            classpath="${build.dir}/classes:${tools.dir}/${jar.apis}:${tools.dir}/${jar.resolver}"
+           target="1.3"           
            debug="${debug}"
            deprecation="${deprecation}"
            optimize="${optimize}"