public void addSelectionListener(ExplorerSelectionListener listener){
  selectionListeners.add(listener);
}

public void addSelectionListener ( ExplorerSelectionListener listener ) { selectionListeners . add ( listener ) ; }
adds a listener to receive notifications about explorer tree selection change .
