change in Test.java at 4.42