public void removeListener(final WorkspaceListener listener){
  listeners.remove(listener);
}

public void removeListener ( final WorkspaceListener listener ) { listeners . remove ( listener ) ; }
removes the listener from the workspace .
