Automatic generation produced by ISE Eiffel
class JAVA_OBJECT Ancestors JAVA_ENTITY* SHARED_JNI_ENVIRONMENT Clients JAVA_ARGS JAVA_CLASS JAVA_OBJECT JAVA_OBJECT_ARRAY JAVA_OBJECT_TABLE JNI_ENVIRONMENT Suppliers BOOLEAN C_STRING HASH_TABLE [G, K -> detachable HASHABLE] JAVA_ARGS JAVA_CLASS JAVA_OBJECT JNI_ENVIRONMENT POINTER STD_FILES -- Generated by Eiffel Studio --
For more details: eiffel.org