Package jflex.scanner