Merge pull request #8941 from JosJuice/android-ini Android: Replace Java INI parser with C++ INI parser