--- jflex-1.4.2/src/build.xml.orig 2008-08-07 13:13:24.346611761 -0400 +++ jflex-1.4.2/src/build.xml 2008-08-07 13:14:15.625486402 -0400 @@ -28,12 +28,13 @@ - + @@ -41,12 +42,14 @@ + @@ -60,7 +63,7 @@ - +