File jflex-javac-no-target.patch of Package jflex-bootstrap
--- 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>