class
	JAVA_EXTERNALS

General
	cluster: eiffel2java
	description: "JNI external declarations"

Ancestors
	ANY

Commands
	c_check_for_exceptions (lenv: POINTER)
	c_throw_custom_exception (lenv, jclass_id, msg: POINTER)
	c_throw_java_exception (lenv, jthrowable: POINTER)