Convert a managed array of System.Int32 to a Java array of int.
See Also: AndroidJNI.NewIntArray, AndroidJNI.SetIntArrayElement.