public void addListener(final WorkspaceListener listener){
  listeners.add(listener);
}

public void addListener ( final WorkspaceListener listener ) { listeners . add ( listener ) ; }
adds a listener to the workspace .
