Update Ex5_17.java