Rename Ex3_13.java to Ex3_12.java