if(!this.digest.sameSenders(d)) {
if(log.isDebugEnabled()) {
log.debug("received digest (digest=" + d + ") which does not match my own digest ("+
this.digest + "): ignoring digest and re-initializing own digest");
}
<BUG>resetHeardFromList(mbrs);</BUG>
return;
<BUG>}
passDown(new Event(Event.STABLE, d));</BUG>
}

if(!this.digest.sameSenders(d)) {
if(log.isDebugEnabled()) {
log.debug("received digest (digest=" + d + ") which does not match my own digest ("+
this.digest + "): ignoring digest and re-initializing own digest");
}
return;
}
resetDigest(mbrs);
passDown(new Event(Event.STABLE, d));
}
