public void removeUpdaterListener(final WorkspaceUpdaterListener listener){
  updaterListeners.remove(listener);
}

public void removeUpdaterListener ( final WorkspaceUpdaterListener listener ) { updaterListeners . remove ( listener ) ; }
removes an updater listener from this instance .
