public Settings(Properties mapping){
  explicitSettings=new HashSet<String>();
  fillSettings(XMLUtils.extractMapping(SETTINGS_FILE));
  explicitSettings.clear();
  fillSettings(mapping);
}

public Settings ( Properties mapping ) { explicitSettings = new HashSet < String > ( ) ; fillSettings ( XMLUtils . extractMapping ( SETTINGS_FILE ) ) ; explicitSettings . clear ( ) ; fillSettings ( mapping ) ; }
creates a new settings with the values provided as argument . values that are not explicitly specified in the mapping are set to their default values .
