    class
    	JAVA_OBJECT_ARRAY

    General
    	cluster: eiffel2java
    	description: "Access to array of Java objects"
    	create: make_from_pointer, make

    Ancestors
    	JAVA_ARRAY

    Queries
    	count: INTEGER_32
    	item (index: INTEGER_32): JAVA_OBJECT
    	Jni: JNI_ENVIRONMENT
    	valid_index (index: INTEGER_32): BOOLEAN

    Commands
    	make (size: INTEGER_32; element_name: STRING_8)
    	put (an_item: JAVA_OBJECT; index: INTEGER_32)