Package: jflex

"jflex" package binaries on Debian:

/usr/bin/jflex

You may install this package on Debian with apt-get install jflex