Update Ex4_20.java