Java code verifier
