jflex 1.5.1
jflex 1.5.1 for mvn, too