code: public void setGlobalSetting(String name, String value) {
          String oldValue;
  
          // Avoid redundant setting
          if (globalSettings.containsKey(name)) {
              oldValue = globalSettings.get(name);
              if (value.compareTo(oldValue) == 0)
                  return;
          }
          globalSettings.put(name, value);
          setDirty(true);
      }
docs: Sets a firefox global setting. This allows any name and should be avoided. It
  is used by the RDF reader.
  
  @param name  The name of the setting.
  @param value The value.