Update Ex5_12.java