Uses of Class
jflex.state.StateSetEnumerator