class
	JAVA_SHORT_ARRAY

General
	cluster: eiffel2java
	description: "Access to Java array of shorts (in Eiffel shorts are respresente as INTEGER)"
	create: make_from_pointer, make

Ancestors
	JAVA_ARRAY

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

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