@DataProvider(name="createRetransmitter")
protected Retransmitter[][] createRetransmitter() {
Retransmitter range_based_retransmitter=new RangeBasedRetransmitter(sender, new MyXmitter(), timer);
Retransmitter old_retransmitter=new DefaultRetransmitter(sender, new MyXmitter(), timer);
range_based_retransmitter.setRetransmitTimeouts(new ExponentialInterval(1000));
range_based_retransmitter.reset();
old_retransmitter.setRetransmitTimeouts(new ExponentialInterval(1000));
old_retransmitter.reset();
return new Retransmitter[][] {
{old_retransmitter},
{range_based_retransmitter}
};