if(log.isInfoEnabled()) log.info("broadcasting SUSPECT message [suspected_mbrs=" + suspected_mbrs + "] to group");
if(log.isDebugEnabled()) log.debug("broadcasting SUSPECT message [suspected_mbrs=" + suspected_mbrs + "] to group");
        public void run() {            Message suspect_msg;            FD.FdHeader hdr;            if(log.isInfoEnabled())                log.info("broadcasting SUSPECT message [suspected_mbrs=" + suspected_mbrs + "] to group");            synchronized(suspected_mbrs) {                if(suspected_mbrs.size() == 0) {                    stopped=true;                    if(log.isInfoEnabled()) log.info("task done (no suspected members)");                    return;                }                hdr=new FdHeader(FdHeader.SUSPECT);                hdr.mbrs=(Vector)suspected_mbrs.clone();                hdr.from=local_addr;            }            suspect_msg=new Message();       // mcast SUSPECT to all members            suspect_msg.putHeader(getName(), hdr);            passDown(new Event(Event.MSG, suspect_msg));            if(log.isInfoEnabled()) log.info("task done");        }