    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