public void removeSelectionListener(ExplorerSelectionListener listener){
  selectionListeners.remove(listener);
}

public void removeSelectionListener ( ExplorerSelectionListener listener ) { selectionListeners . remove ( listener ) ; }
removes explorer tree selection listener .
