--- jflex-1.4.1/src/build.xml 2004-05-20 01:37:43.000000000 +0200 +++ jflex-1.4.1/src/build.xml-gil 2009-03-02 15:24:58.000000000 +0100 @@ -59,7 +59,14 @@ description="compile all classes"> + + + + @@ -93,6 +100,13 @@ + + + +