if(log.isInfoEnabled()) log.info("stable task started; num_gossip_runs=" + num_gossip_runs +
if(log.isDebugEnabled()) log.debug("stable task started; num_gossip_runs=" + num_gossip_runs +
    void startStableTask() {        num_gossip_runs=max_gossip_runs;        if(stable_task != null && !stable_task.cancelled()) {            return;  // already running        }        stable_task=new StableTask();        timer.add(stable_task, true); // fixed-rate scheduling            if(log.isInfoEnabled()) log.info("stable task started; num_gossip_runs=" + num_gossip_runs +                    ", max_gossip_runs=" + max_gossip_runs);    }