indexing
	description: "Shared JNI environment. Since one JNI is needed per thread we limit Eiffel to having one thread that deals with Java."

class interface
	SHARED_JNI_ENVIRONMENT

feature 

	jni: JNI_ENVIRONMENT
			-- returns the standard JNI enviroment. It uses the value of
			-- CLASS_PATH environment variable to initialize the JVM
		ensure
			Result /= void
	
invariant

		-- from ANY
	reflexive_equality: standard_is_equal (Current)
	reflexive_conformance: conforms_to (Current)

end -- class SHARED_JNI_ENVIRONMENT