Quick links to the JFlex github issue tracker:
Submitting new bugs and feature requests
If you find a new bug or think a useful feature should be implemented in JFlex, please
use the github issue tracker.
If you would just like to discuss an idea or a strange behaviour please use the
jflex-users mailing list. You need to subscribe before you can post to it.
Please be sure to check the manual, the FAQ,
and the currently open issues before reporting a new one.