Property definitions

jvm $ JniEnv :: set_object_field
	fun set_object_field(obj: JavaObject, fieldID: JFieldID, value: JavaObject) `{
		(*self)->SetObjectField(self, obj, fieldID, value);
	`}
lib/jvm/jvm.nit:362,2--364,3