    class
    	JAVA_VALUE

    General
    	cluster: structures
    	description: "Encapsulation of `jvalue' structure."
    	create: make_by_pointer, make

    Ancestors
    	MEMORY_STRUCTURE*

    Queries
    	boolean_address: POINTER
    	boolean_value: BOOLEAN
    	byte_address: POINTER
    	byte_value: INTEGER_8
    	char_address: POINTER
    	char_value: CHARACTER_8
    	double_address: POINTER
    	double_value: REAL_64
    	float_address: POINTER
    	float_value: REAL_32
    	int_address: POINTER
    	int_value: INTEGER_32
    	item: POINTER
    	long_address: POINTER
    	long_value: INTEGER_64
    	object_address: POINTER
    	object_value: POINTER
    	shared: BOOLEAN
    	short_address: POINTER
    	short_value: INTEGER_16
    	structure_size: INTEGER_32

    Commands
    	make
    	make_by_pointer (a_ptr: POINTER)
    	set_boolean_value (v: BOOLEAN)
    	set_byte_value (v: INTEGER_8)
    	set_char_value (v: CHARACTER_8)
    	set_double_value (v: REAL_64)
    	set_float_value (v: REAL_32)
    	set_int_value (v: INTEGER_32)
    	set_long_value (v: INTEGER_64)
    	set_object_value (v: POINTER)
    	set_short_value (v: INTEGER_16)