class
	JNI_ENVIRONMENT

General
	cluster: eiffel2java
	description: "Holds information abouy JNI environment. Potentially many JNI environments can exists at once, but more than one was never tested"
	create: make

Ancestors
	JAVA_EXTERNALS

Queries
	find_class (name: STRING): JAVA_CLASS
	find_class_by_pointer (classp: POINTER): JAVA_CLASS
	find_class_pointer (name: STRING): POINTER

Commands
	attach_current_thread
	c_check_for_exceptions (lenv: POINTER)
	c_throw_custom_exception (lenv, jclass_id, msg: POINTER)
	c_throw_java_exception (lenv, jthrowable: POINTER)
	check_for_exceptions
	destroy_vm
	detach_current_thread
	throw_custom_exception (jclass: JAVA_CLASS; msg: STRING)
	throw_java_exception (jthrowable: JAVA_OBJECT)