public void removeListener(DiscoveryManagerListener listener){
  discoveryListeners.remove(listener);
}

public void removeListener ( DiscoveryManagerListener listener ) { discoveryListeners . remove ( listener ) ; }
removes a previously added listener
