Added classfile verifier.