Property definitions

jvm $ JniEnv :: get_int_field
	fun get_int_field(obj: JavaObject, fieldID: JFieldID): Int `{
		return (*self)->GetIntField(self, obj, fieldID);
	`}
lib/jvm/jvm.nit:354,2--356,3