public synchronized void removeOption(String key){
  Key k=new Key(key);
  options.remove(key);
  HashSet<String> on=optionNames.get(k.getSectionName());
  if (on != null) {
    on.remove(k.getOptionName());
    if (on.isEmpty()) {
      cleanupSection(k.getSectionName());
    }
  }
}

public synchronized void removeOption ( String key ) { Key k = new Key ( key ) ; options . remove ( key ) ; HashSet < String > on = optionNames . get ( k . getSectionName ( ) ) ; if ( on != null ) { on . remove ( k . getOptionName ( ) ) ; if ( on . isEmpty ( ) ) { cleanupSection ( k . getSectionName ( ) ) ; } } }
removes the given option ( does nothing if it doesn ' t exist )
