Property definitions

jvm $ JniEnv :: set_char_field
	fun set_char_field(obj: JavaObject, fieldID: JFieldID, value: Char) `{
		(*self)->SetCharField(self, obj, fieldID, value);
	`}
lib/jvm/jvm.nit:370,2--372,3