--- build.xml.orig	2004-09-14 13:10:34.891222904 +0200
+++ build.xml	2004-09-14 13:10:56.852884224 +0200
@@ -33,7 +33,7 @@
   <target name="compile" description="o Compile the code" depends="get-deps">
     <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" source="1.3">
       <src>
         <pathelement location="src/java">
         </pathelement>