Uses of Class
jflex.StateSetEnumerator