Update Petya.java