if(log.isInfoEnabled()) log.info("mbr=" + mbr + " (size=" + suspected_mbrs.size() + ")");
if(log.isDebugEnabled()) log.debug("mbr=" + mbr + " (size=" + suspected_mbrs.size() + ")");
        void addSuspectedMember(Address mbr) {            if(mbr == null) return;            if(!members.contains(mbr)) return;            synchronized(suspected_mbrs) {                if(!suspected_mbrs.contains(mbr)) {                    suspected_mbrs.addElement(mbr);                    if(log.isInfoEnabled()) log.info("mbr=" + mbr + " (size=" + suspected_mbrs.size() + ")");                }                if(stopped && suspected_mbrs.size() > 0) {                    stopped=false;                    timer.add(this, true);                }            }        }