code: protected void propertiesFileUpdated(Properties updated, long sequence) {
  		Properties newProps = new Properties(getDefaultOptions());
  		Enumeration<?> propsEnum = updated.propertyNames();
  		while (propsEnum.hasMoreElements()) {
  			String name = (String)propsEnum.nextElement();
  			newProps.setProperty(name, updated.getProperty(name));
  		}
  		setProps(newProps);
  		updateNotify(sequence);
  	}
docs: Listener method for being informed of changes to the properties file by another
  instance of this class.  Called by other instances of this class for instances
  that use the same properties file when properties are saved.
  
  @param updated
  the updated properties
  @param sequence
  the update sequence number