ret=win.getHighestReceived(); return ret;
my_highest_rcvd=recv_win.getHighestReceived(); stability_highest_rcvd=high_seqno_received;
if(win.getHighestReceived() < initial_seqno) { received_msgs_size -= win.unsafeGetSize(); stack.gfPeerFunctions.setJgSTABLEreceivedMessagesSize(received_msgs_size);
r=new Range(win.getLowestSeen(), win.getHighestReceived() + 1); // received messages