SettingsManager JavaDoc minor updates