--- 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">