if(log.isInfoEnabled()) log.info("view=" + new_view);
if(log.isDebugEnabled()) log.debug("view=" + new_view);
    public void handleViewChange(View new_view, Digest digest) {        Vector mbrs=new_view.getMembers();         if(log.isInfoEnabled()) log.info("view=" + new_view);        suspected_mbrs.removeAllElements();        if(leaving && !mbrs.contains(gms.local_addr)) { // received a view in which I'm not member: ignore            return;        }        gms.installView(new_view, digest);    }