JVM Verifier for simple Java classes.