0510036 port to jflex 1.7.0

Authored and Committed by decathorpe 4 years ago
    port to jflex 1.7.0
    
        
file modified
+8 -5
file modified
+8 -3