Rename DFA to DFA.java