a Java Virtual Machine, currently JDK 1.1.5-level.