Property definitions

jvm $ JniEnv :: set_int_field
	fun set_int_field(obj: JavaObject, fieldID: JFieldID, value: Int) `{
		(*self)->SetIntField(self, obj, fieldID, value);
	`}
lib/jvm/jvm.nit:374,2--376,3