code: public boolean unsetOption(String key) {
  		// we do have null values --> check for key
  		boolean b = options.containsKey(key);
  		options.remove(key);
  		return b;
  	}
docs: Disables given option.
  
  @param key
  referring to a specific option
  @return whether option was set