Uses of Class
jflex.state.StateSet