Update Automato.java