State of Valhalla, Section 3: JVM Model