    class
    	JAVA_INT_ARRAY

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

    Ancestors
    	JAVA_ARRAY

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

    Commands
    	make (size: INTEGER_32)
    	put (an_item, index: INTEGER_32)