--- jflex/src/build.xml~	2009-01-09 10:32:36.000000000 +0000
+++ jflex/src/build.xml	2009-01-09 10:34:58.000000000 +0000
@@ -64,8 +64,8 @@
           description="compile all classes">
     <javac srcdir="." 
            destdir="../lib" 
-           target="1.1"
-    	     source="1.2"
+           target="1.3"
+           source="1.3"
            classpath=".:${junit.jar}"
            debug="on" />
   </target>