View v=(View)evt.getArg(); Vector tmp_mbrs=v != null? v.getMembers() : null; if(tmp_mbrs != null) { ct.retainAll(tmp_mbrs); }
    protected void handleDownEvent(Event evt) {        super.handleDownEvent(evt);        if(evt.getType() == Event.VIEW_CHANGE) {            suspected_mbrs.removeAll();        }        else if(evt.getType() == Event.UNSUSPECT) {            suspected_mbrs.removeElement(evt.getArg());        }    }