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)