JVM types