class
	JAVA_VM

General
	cluster: eiffel2java
	description: "This class is used to initially load the JVM into the running program"
	create: make

Ancestors
	ANY

Commands
	attach_current_thread
	destroy_vm
	detach_current_thread