Automatic generation produced by ISE Eiffel
class JAVA_OBJECT_ARRAY Ancestors JAVA_ARRAY Clients JAVA_OBJECT_ARRAY Suppliers HASH_TABLE [G, K -> detachable HASHABLE] INTEGER_32 JAVA_CLASS JAVA_OBJECT JAVA_OBJECT_ARRAY JNI_ENVIRONMENT -- Generated by Eiffel Studio --
For more details: eiffel.org