class
	JAVA_DOUBLE_ARRAY

General
	cluster: eiffel2java
	description: "Access to Java array of doubles"
	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_64; index: INTEGER_32)