Automatic generation produced by ISE Eiffel
class JAVA_VM Ancestors ANY Clients JAVA_VM JNI_ENVIRONMENT SHARED_JNI_ENVIRONMENT Suppliers ARRAY [G] EXCEPTIONS JAVA_VM JAVA_VM_INIT_ARGS JAVA_VM_OPTION PLAIN_TEXT_FILE STD_FILES STRING_8 TYPE [G] TYPED_POINTER [G] UTF_CONVERTER -- Generated by Eiffel Studio --
For more details: eiffel.org