Update VerifyTest.java