--- jflex-1.4.1/src/build.xml 2009-03-02 15:32:03.000000000 +0100 +++ jflex-1.4.1/src/build.xml-gil 2009-03-02 15:37:29.000000000 +0100 @@ -25,7 +25,6 @@ - @@ -38,12 +37,6 @@ - - - - - - @@ -55,7 +48,7 @@ - - - - - - - - -