Uses of Class
jflex.dfa.DFA