Update ch12_02.java