collecting issues for the 1.7.0 release of JFlex
No open issues remain. View closed issues or see open milestones in this repository.