class
	JAVA_OBJECT_ARRAY

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

Ancestors
	JAVA_ARRAY

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

Commands
	c_check_for_exceptions (lenv: POINTER)
	c_throw_custom_exception (lenv, jclass_id, msg: POINTER)
	c_throw_java_exception (lenv, jthrowable: POINTER)
	make (size: INTEGER; element_name: STRING)
	make_from_pointer (p: POINTER)
	put (litem: JAVA_OBJECT; index: INTEGER)