public void removeExpansionListener(ExplorerExpansionListener listener){
  expansionListeners.remove(listener);
}

public void removeExpansionListener ( ExplorerExpansionListener listener ) { expansionListeners . remove ( listener ) ; }
removes explorer tree expansion listener .
