--- build.xml.orig	2008-02-14 16:52:16.000000000 +0100
+++ build.xml	2008-02-14 16:52:49.000000000 +0100
@@ -77,7 +77,7 @@
   <target name="compile" description="o Compile the code">
     <mkdir dir="${classesdir}">
     </mkdir>
-    <javac destdir="${classesdir}" deprecation="true" debug="true" optimize="false" excludes="**/package.html">
+    <javac destdir="${classesdir}" deprecation="true" debug="true" optimize="false" excludes="**/package.html" target="1.3" source="1.3">
       <src>
         <pathelement location="${basedir}/src/java">
         </pathelement>