docs: public void applyModifications(Properties mods)
      {
          String key;
          String value;
  
          for (Iterator it = mods.keySet().iterator(); it.hasNext();)
          {
              key   = (String)it.next();
              value = mods.getProperty(key);
              setProperty(key, value);
          }
      }