public synchronized CeylonConfig merge(CeylonConfig other){
  for (  String key : other.getOptionNames(null)) {
    String[] values=other.getOptionValues(key);
    setOptionValues(key,values);
  }
  return this;
}

public synchronized CeylonConfig merge ( CeylonConfig other ) { for ( String key : other . getOptionNames ( null ) ) { String [ ] values = other . getOptionValues ( key ) ; setOptionValues ( key , values ) ; } return this ; }
merges the options from the given configuration with the current one where duplicate options that exist locally will be overwritten by the ones encountered in the given configuration .
