StringSet support for SettingsManager