jvm :: JniEnv :: set_char_field
fun set_char_field(obj: JavaObject, fieldID: JFieldID, value: Char) `{ (*self)->SetCharField(self, obj, fieldID, value); `}