Update Automaton.java