sent_msgs.clear();
    void clear() {        NakReceiverWindow win;        sent_msgs.clear();        for(Enumeration e=received_msgs.elements(); e.hasMoreElements();) {            win=(NakReceiverWindow)e.nextElement();            win.reset();        }        received_msgs.clear();    }