    class
    	JAVA_FLOAT_ARRAY

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

    Ancestors
    	JAVA_ARRAY

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

    Commands
    	make (size: INTEGER_32)
    	put (an_item: REAL_32; index: INTEGER_32)