Manpages of jflex in Debian stretch