}
        public void receive(Message msg) {            boolean pass_up=true;            if(corr != null)                pass_up=corr.receiveMessage(msg);            if(pass_up) {   // pass on to MessageListener                if(msg_listener != null)                    msg_listener.receive(msg);            }        }