if(gms.view_id == null) {   if(log.isDebugEnabled()) log.debug("gms.view_id is null, I'm not the coordinator anymore (leaving=" + leaving + "); the new coordinator will handle the leave request"); return; }  sendLeaveResponse(mbr);
    public synchronized void handleLeave(Address mbr, boolean suspected) {        Vector v=new Vector(1);        // contains either leaving mbrs or suspected mbrs            if(log.isDebugEnabled()) log.debug("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);    }