if(sender == null) continue;
win=(NakReceiverWindow)received_msgs.get(sender);
if(win == null) continue;
digest.highest_seqnos[i]=win.getHighestReceived();
unstable_msgs=win.getMessagesHigherThan(highest_seqnos[i]);
for(Enumeration e=unstable_msgs.elements(); e.hasMoreElements();)
digest.msgs.add(e.nextElement());
}
/** If our highest seqno <em>sent</em> is higher than the one <em>received</em>, we have to