if(log.isInfoEnabled()) log.info("response=" + hdr);
if(log.isDebugEnabled()) log.debug("response=" + hdr);
    void sendMergeResponse(Address sender, View view, Digest digest) {        Message msg=new Message(sender, null, null);        GMS.GmsHeader hdr=new GMS.GmsHeader(GMS.GmsHeader.MERGE_RSP);        hdr.merge_id=merge_id;        hdr.view=view;        hdr.digest=digest;        msg.putHeader(gms.getName(), hdr);            if(log.isInfoEnabled()) log.info("response=" + hdr);        gms.passDown(new Event(Event.MSG, msg));    }