private ViewId generateMergeId() {
return new ViewId(gms.local_addr, System.currentTimeMillis());
}
private MergeData consolidateMergeData(Vector<MergeData> merge_rsps) {
MergeData ret;
<BUG>MergeData tmp_data;</BUG>
long logical_time=0; // for new_vid
ViewId new_vid, tmp_vid;
MergeView new_view;
View tmp_view;
Membership new_mbrs=new Membership();
<BUG>int num_mbrs;</BUG>
Address new_coord;

private ViewId generateMergeId() {
return new ViewId(gms.local_addr, System.currentTimeMillis());
}
private MergeData consolidateMergeData(Vector<MergeData> merge_rsps) {
MergeData ret;
long logical_time=0; // for new_vid
ViewId new_vid, tmp_vid;
MergeView new_view;
View tmp_view;
