code: @Override
  	public synchronized void setOption(String name, String value) throws IOException {
  		// update the property
  		Properties props = getProps();
  		if (value == null) {
  			props.remove(name);
  		} else {
  			props.setProperty(name, value);
  		}
  		setProps(props);
  		// Persist the new properties
  		saveProps(props);
  
  		long seq = SequenceNumberProvider.incrementAndGetSequenceNumber();
  		// Notify update listeners
  		updateNotify(seq);
  		// Notify options instances using the same properties file
  		propsFileUpdateNotify(props, seq);
  
  	}
docs: /* (non-Javadoc)
  @see com.ibm.jaggr.service.options.IOptions#setOption(java.lang.String, java.lang.String)