public void propertyChange(PropertyChangeEvent pce){
  if (pce.getPropertyName() == OMDrawingTool.LoadersProperty) {
    Object obj=pce.getNewValue();
    if (obj instanceof Vector) {
      Vector<EditToolLoader> loaders=(Vector<EditToolLoader>)obj;
      setLoaders(loaders.iterator());
      resetGUI();
    }
  }
}

public void propertyChange ( PropertyChangeEvent pce ) { if ( pce . getPropertyName ( ) == OMDrawingTool . LoadersProperty ) { Object obj = pce . getNewValue ( ) ; if ( obj instanceof Vector ) { Vector < EditToolLoader > loaders = ( Vector < EditToolLoader > ) obj ; setLoaders ( loaders . iterator ( ) ) ; resetGUI ( ) ; } } }
propertychangelistener method , to listen for the omdrawingtool ' s list of loaders that may or may not change .
