One additional minor thing to maybe fix, but maybe it's not an issue:

The jflex generate step has a WARNING message about WHITE_SPACE_CHAR not used. 

Cheers. -Marshall


Reply via email to