if(log.isInfoEnabled()) log.info("removed " + suspected_mbr + " (size=" + suspected_mbrs.size() + ")");
if(log.isDebugEnabled()) log.debug("removed " + suspected_mbr + " (size=" + suspected_mbrs.size() + ")");
        public void adjustSuspectedMembers(Vector new_mbrship) {            Address suspected_mbr;            if(new_mbrship == null || new_mbrship.size() == 0) return;            synchronized(suspected_mbrs) {                for(Iterator it=suspected_mbrs.iterator(); it.hasNext();) {                    suspected_mbr=(Address) it.next();                    if(!new_mbrship.contains(suspected_mbr)) {                        it.remove();                            if(log.isInfoEnabled()) log.info("removed " + suspected_mbr + " (size=" + suspected_mbrs.size() + ")");                    }                }                if(suspected_mbrs.size() == 0)                    stopped=true;            }        }