[Android] Simplify saving settings to the ini file. Since the setting names are known, there's no reason to loop through them. This will likely be simplified further very soon.
