void adjustSuspectedMembers(Vector new_mbrship) {
void adjustSuspectedMembers(List new_mbrship) {
        void adjustSuspectedMembers(Vector new_mbrship) {            if(new_mbrship == null || new_mbrship.size() == 0) return;            StringBuffer sb=new StringBuffer();            synchronized(suspected_mbrs) {                sb.append("suspected_mbrs: ").append(suspected_mbrs);                suspected_mbrs.retainAll(new_mbrship);                if(suspected_mbrs.size() == 0)                    stopBroadcastTask();                sb.append(", after adjustment: ").append(suspected_mbrs);                log.debug(sb.toString());            }        }