Merge pull request #9152 from Ebola16/SP1 Android: Convert SharedPreferences to INI Settings (simple cases)