Merge pull request #12153 from JosJuice/android-iso-paths-jni Android: Use JNI for setting/getting ISO paths
