The Java Virtual Machine Specification Java 2 Platform VGC