jflex
jflex copied to clipboard
enable doclint and javadoc in CI
The 1.8.0 release initially failed because of javadoc errors, most of which are fixed now. To make sure we spot these earlier next time, we should enable doclint and javadoc production in CI