View new_view=gms.getNextView(new_mbrs, leaving_mbrs, suspected_mbrs);
new_view=getNextView(new_mbrs, old_mbrs, suspected_mbrs); castViewChange(new_view, null);
View new_view=gms.getNextView(new_mbrs, leaving_mbrs, suspected_mbrs); if(log.isDebugEnabled()) log.debug("new=" + new_mbrs + ", suspected=" + suspected_mbrs + ", leaving=" + leaving_mbrs +
View new_view=gms.getNextView(new_mbrs, leaving_mbrs, suspected_mbrs);