class
	JAVA_ARRAY

General
	cluster: eiffel2java
	description: "Parent of all Java array classes that contains the common routines to all arrays. Not to be used directly, instead use the class with array of specific type."
	create: make_from_pointer

Ancestors
	JAVA_SIZES
	SHARED_JNI_ENVIRONMENT

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

Constraints
	jarray not null