if(log.isDebugEnabled()) log.debug("initial_mbrs=" + initial_mbrs);
coords=detectMultipleCoordinators(initial_mbrs);
if(coords != null && coords.size() > 1) {
if(log.isDebugEnabled())
log.debug("found multiple coordinators: " + coords + "; sending up MERGE event");
final Event evt=new Event(Event.MERGE, coords);
if(use_separate_thread) {
Thread merge_notifier=new Thread() {
public void run() {
passUp(evt);
}