if(log.isInfoEnabled()) log.info("view=" + new_view + ", digest=" + digest);
if(log.isDebugEnabled()) log.debug("view=" + new_view + ", digest=" + digest);
    public void handleViewChange(View new_view, Digest digest) {        Vector mbrs=new_view.getMembers();         {            if(digest != null)                if(log.isInfoEnabled()) log.info("view=" + new_view + ", digest=" + digest);            else                if(log.isInfoEnabled()) log.info("view=" + new_view);        }        if(leaving && !mbrs.contains(gms.local_addr)) {            if(leave_promise != null) {                leave_promise.setResult(Boolean.TRUE);            }            return;        }        gms.installView(new_view, digest);    }