JVM including bytecode verification & gc