Update BuildAutomaton.java