Bug fix in DFA.java