}
else {</BUG>
highest_seqno=val.high_seqno;
highest_seen_seqno=val.high_seqno_seen;
my_highest_seqno=digest.highSeqnoAt(mbr);
<BUG>digest.setHighSeqnoAt(mbr, Math.min(my_highest_seqno, highest_seqno));
my_highest_seen_seqno=digest.highSeqnoSeenAt(mbr);
digest.setHighSeqnoSeenAt(mbr, Math.max(my_highest_seen_seqno, highest_seen_seqno));

}
num_elements_updated++;
}</BUG>
sb.append("\nmy [").append(local_addr).append("] digest after: ").append(digest).append("\n");

}
for(int i=0; i < members.size(); i++) {
mbr=(Address)members.get(i);
if(!d.contains(mbr))
d.add(mbr, -1, -1);
}
