if(log.isInfoEnabled()) log.info("mbr=" + mbr);
if(log.isDebugEnabled()) log.debug("mbr=" + mbr);
    public synchronized void handleLeave(Address mbr, boolean suspected) {        Vector v=new Vector();        // contains either leaving mbrs or suspected mbrs            if(log.isInfoEnabled()) log.info("mbr=" + mbr);        if(!gms.members.contains(mbr)) {                if(log.isErrorEnabled()) log.error("mbr " + mbr + " is not a member !");            return;        }        v.addElement(mbr);        if(suspected)            gms.castViewChange(null, null, v);        else            gms.castViewChange(null, v, null);    }