log.error("GroupRequestPull.receive(): header type of " + hdr.type + " not known");
System.err.println("GroupRequestPull.receive(): header type of " + hdr.type + " not known");
    public void receive(Message msg) {        MyHeader hdr=(MyHeader)msg.removeHeader(HDRNAME);        Message  rsp;        if(hdr == null) {            log.error("GroupRequestPull.receive(): header for " + HDRNAME + " was null");            return;        }        if(hdr.type == MyHeader.RESPONSE) {            if(group_req != null)                group_req.receiveResponse(msg);        }        else if(hdr.type == MyHeader.REQUEST) {            // System.out.println("-- received REQUEST from " + msg.getSrc());            rsp=new Message(msg.getSrc(), null, null);            rsp.putHeader(HDRNAME, new MyHeader(MyHeader.RESPONSE));            rsp.setObject("Hello from member " + ch.getLocalAddress());            try {                adapter.send(rsp);            }            catch(Exception ex) {                log.error("GroupRequestPull.receive(): failure sending response: " + ex);            }        }        else {            log.error("GroupRequestPull.receive(): header type of " + hdr.type + " not known");        }    }