Package jflex.generator