jvm :: JniEnv :: get_int_field
fun get_int_field(obj: JavaObject, fieldID: JFieldID): Int `{ return (*self)->GetIntField(self, obj, fieldID); `}