Fixed incompatibility issue: SharedPreferences.getStringSet() was not
available prior to API level 11.