Package jflex.state