update test case of 4_1.java