Update Verifier.java