This generates a JNI method call of the right type with automatic
conversion to/from native types where possible, and with validating
the argument types.