log.debug("received CONFIG event: " + evt.getArg());
handleConfigEvent((HashMap)evt.getArg());
return retval;
case Event.TMP_VIEW:
View tmp_view=(View)evt.getArg();
<BUG>Vector mbrs=tmp_view.getMembers();
</BUG>
members.clear();
members.addAll(mbrs);
adjustReceivers(false);

log.debug("received CONFIG event: " + evt.getArg());
handleConfigEvent((HashMap)evt.getArg());
return retval;
case Event.TMP_VIEW:
View tmp_view=(View)evt.getArg();
Vector<Address> mbrs=tmp_view.getMembers();
members.clear();
members.addAll(mbrs);
adjustReceivers(false);
