A new user interface for you! Read more...

File jflex-javac-no-target.patch of Package jflex

--- jflex-1.4.2/src/build.xml.orig	2008-05-28 04:54:17.000000000 -0400
+++ jflex-1.4.2/src/build.xml	2008-08-07 13:00:25.977345228 -0400
@@ -64,8 +64,6 @@
           description="compile all classes">
     <javac srcdir="." 
            destdir="../lib" 
-           target="1.1"
-    	     source="1.2"
            classpath=".:${junit.jar}"
            debug="on" />
   </target>