Extensions to the Java runtime system.