.addProtocol(new FD_ALL().setValue("timeout", 12000).setValue("interval", 3000))
.addProtocol(new VERIFY_SUSPECT()).addProtocol(new BARRIER())
.addProtocol(new NAKACK()).addProtocol(new UNICAST2())
.addProtocol(new STABLE()).addProtocol(new GMS())
.addProtocol(new UFC()).addProtocol(new MFC())
.addProtocol(new FRAG2());
stack.init();
channel.setReceiver(new ReceiverAdapter(){
public void receive(Message msg) {