pkgsrc/devel/jflex
