class
	JAVA_OBJECT

General
	cluster: eiffel2java
	description: "This class gives Eiffel access to Java objects. You can use it directly or inherit from to and create a more convienient Eiffel class that makes the Java object look like an Eiffel object"
	create: create_instance, make_from_pointer

Ancestors
	JAVA_EXTERNALS
	SHARED_JNI_ENVIRONMENT

Queries
	boolean_attribute (fid: POINTER): BOOLEAN
	boolean_method (mid: POINTER; args: JAVA_ARGS): BOOLEAN
	byte_attribute (fid: POINTER): CHARACTER
	byte_method (mid: POINTER; args: JAVA_ARGS): CHARACTER
	char_attribute (fid: POINTER): CHARACTER
	char_method (mid: POINTER; args: JAVA_ARGS): CHARACTER
	double_attribute (fid: POINTER): DOUBLE
	double_method (mid: POINTER; args: JAVA_ARGS): DOUBLE
	field_id (lname, sig: STRING): POINTER
	float_attribute (fid: POINTER): REAL
	float_method (mid: POINTER; args: JAVA_ARGS): REAL
	integer_attribute (fid: POINTER): INTEGER
	integer_method (mid: POINTER; args: JAVA_ARGS): INTEGER
	Jni: JNI_ENVIRONMENT
	method_id (method_name, signature: STRING): POINTER
	object_attribute (fid: POINTER): JAVA_OBJECT
	object_method (lmethod_id: POINTER; args: JAVA_ARGS): JAVA_OBJECT
	short_attribute (fid: POINTER): INTEGER
	short_method (mid: POINTER; args: JAVA_ARGS): INTEGER
	string_attribute (fid: POINTER): STRING
	string_method (mid: POINTER; args: JAVA_ARGS): STRING

Commands
	c_check_for_exceptions (lenv: POINTER)
	c_throw_custom_exception (lenv, jclass_id, msg: POINTER)
	c_throw_java_exception (lenv, jthrowable: POINTER)
	create_instance (my_cls: JAVA_CLASS; sig: STRING; args: JAVA_ARGS)
	long_method (mid: POINTER; args: JAVA_ARGS)
	make_from_pointer (jobject: POINTER)
	set_boolean_attribute (fid: POINTER; value: BOOLEAN)
	set_byte_attribute (fid: POINTER; value: CHARACTER)
	set_char_attribute (fid: POINTER; value: CHARACTER)
	set_double_attribute (fid: POINTER; value: DOUBLE)
	set_float_attribute (fid: POINTER; value: REAL)
	set_integer_attribute (fid: POINTER; value: INTEGER)
	set_object_attribute (fid: POINTER; value: JAVA_OBJECT)
	set_short_attribute (fid: POINTER; value: INTEGER)
	set_string_attribute (fid: POINTER; value: STRING)
	void_method (mid: POINTER; args: JAVA_ARGS)

Constraints
	valid proxy