leave_mutex.notify();
leave_mutex.notifyAll();
    public void handleViewChange(ViewId new_view, Vector mbrs) {         if(log.isInfoEnabled()) log.info("mbrs are " + mbrs);        suspected_mbrs.removeAllElements();        new_mbrs.removeAllElements();        if(mbrs != null)            for(int i=0; i < mbrs.size(); i++)                new_mbrs.addElement(mbrs.elementAt(i));        if(leaving) {            if(mbrs.contains(gms.local_addr)) {                if(log.isWarnEnabled()) log.warn("received view in " +                                                                    "which I'm still a member, cannot quit yet");                gms.installView(new_view, mbrs);            }            else {                synchronized(leave_mutex) {                    received_final_view=true;                    leave_mutex.notify();                }            }            return;        }        gms.installView(new_view, mbrs);    }