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 ) ; }
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 .