return null;
}
new_vid=new ViewId(new_coord, logical_time + 1);
new_view=new MergeView(new_vid, new_mbrs.getMembers(), subgroups);
if(log.isDebugEnabled()) log.debug("new merged view will be " + new_view);
<BUG>Digest new_digest=consolidateDigests(merge_rsps, num_mbrs);
</BUG>
if(new_digest == null) {
if(log.isErrorEnabled()) log.error("digest could not be consolidated");
return null;

return null;
}
new_vid=new ViewId(new_coord, logical_time + 1);
new_view=new MergeView(new_vid, new_mbrs.getMembers(), subgroups);
if(log.isDebugEnabled()) log.debug("new merged view will be " + new_view);
Digest new_digest=consolidateDigests(merge_rsps, new_mbrs.size());
if(new_digest == null) {
if(log.isErrorEnabled()) log.error("digest could not be consolidated");
return null;
