new_view=new MergeView(new_vid, new_mbrs.getMembers(), subgroups);
if(log.isDebugEnabled())
log.debug("Merge leader " + gms.local_addr + " computed new merged view that will be " + new_view);
// determine the new digest
Digest new_digest=consolidateDigests(merge_rsps, new_mbrs.size());
if(new_digest == null) {
if(log.isErrorEnabled()) log.error("Merge leader " + gms.local_addr + "could not consolidate digest for merge");
return null;
}
if(log.isDebugEnabled()) log.debug("Merge leader " + gms.local_addr + "consolidated digest=" + new_digest);