Update Ex12.java