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
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