Update Automat.java