jflex 1.5.1 for mvn, too