class
	JAVA_CHAR_ARRAY

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

Ancestors
	JAVA_ARRAY

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

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