if(log.isInfoEnabled()) log.info("mcasting digest " + d +
if(log.isDebugEnabled()) log.debug("mcasting digest " + d +
    synchronized void sendStableMessage() {        Digest d=null;        Message msg=new Message(); // mcast message        StableHeader hdr;        d=getDigest();        if(d != null && d.size() > 0) {            if(log.isInfoEnabled())                log.info("mcasting digest " + d +                        " (num_gossip_runs=" + num_gossip_runs + ", max_gossip_runs=" + max_gossip_runs + ")");            hdr=new StableHeader(StableHeader.STABLE_GOSSIP, d);            msg.putHeader(getName(), hdr);            passDown(new Event(Event.MSG, msg));        }    }