Automatic generation produced by ISE Eiffel
class JAVA_VM_INIT_ARGS Ancestors MEMORY_STRUCTURE* Clients JAVA_VM JAVA_VM_INIT_ARGS Suppliers ARRAY [G] BOOLEAN INTEGER_32 JAVA_VM_INIT_ARGS JAVA_VM_OPTION MANAGED_POINTER POINTER TYPE [G] -- Generated by Eiffel Studio --
For more details: eiffel.org