return new Digest(map);
}
private Digest getDigestHighestDeliveredMsgs() {
Range range;
long high_seqno_seen;
<BUG>Map<Address,Digest.Entry> map=new HashMap(members.size());
</BUG>
for(Address sender: members) {
range=getLowestAndHighestSeqno(sender, true);  // get the highest deliverable seqno
if(range == null) {

return new Digest(map);
}
private Digest getDigestHighestDeliveredMsgs() {
Range range;
long high_seqno_seen;
Map<Address,Digest.Entry> map=new HashMap<Address,Digest.Entry>(members.size());
for(Address sender: members) {
range=getLowestAndHighestSeqno(sender, true);  // get the highest deliverable seqno
if(range == null) {
