Searching in jdk/test/vm/verifier