Improved settings XML format for SettingsManager.java