if(!this.digest.sameSenders(stable_digest)) { if(log.isDebugEnabled()) { log.debug("received digest (digest=" + stable_digest + ") which does not match my own digest ("+
if(!digest.sameSenders(d)) {
if(!this.digest.sameSenders(stable_digest)) { if(log.isDebugEnabled()) { log.debug("received digest (digest=" + stable_digest + ") which does not match my own digest ("+
if(!digest.sameSenders(d)) {