synchronized (sent_msgs) { long prevSeqno = seqno - 1;  if(prevSeqno == last_xmitted_seqno) { if(Trace.trace) Trace.info("NAKACK.NAKer.run()", "prevSeqno=" + prevSeqno + ", last_xmitted_seqno=" + last_xmitted_seqno + ", num_times=" + num_times); if(--num_times <= 0) return; } else { num_times=3; last_xmitted_seqno=prevSeqno; }
synchronized(sent_msgs) { long prevSeqno=seqno - 1;
	    public void run() {		synchronized (sent_msgs) {		    long prevSeqno = seqno - 1;		    		    if(prevSeqno == last_xmitted_seqno) {						if(Trace.trace)			    Trace.info("NAKACK.NAKer.run()", "prevSeqno=" + prevSeqno + ", last_xmitted_seqno=" +				       last_xmitted_seqno + ", num_times=" + num_times);			if(--num_times <= 0)			    return;		    }		    else {			num_times=3;			last_xmitted_seqno=prevSeqno;		    }		    if ((prevSeqno >= 0) && (prevSeqno > deleted_up_to)) {			if(Trace.trace)			    Trace.info("NAKACK.NAKer.run()", "retransmitting last message "+  prevSeqno);			retransmit(null,prevSeqno,prevSeqno);		    }		}	    }