ch1.setReceiver(new MyReceiver(ch1_all_received, NUM_MSGS, "ch1"));
ch2=createChannel();
ch2.setReceiver(new MyReceiver(ch2_all_received, NUM_MSGS, "ch2"));
if(discard) {
DISCARD discard_prot=new DISCARD();
Properties properties=new Properties();
properties.setProperty("down", "0.1");
ch1.getProtocolStack().insertProtocol(discard_prot, ProtocolStack.BELOW, "MERGE2");
discard_prot=new DISCARD();
properties=new Properties();
properties.setProperty("down", "0.1");
ch2.getProtocolStack().insertProtocol(discard_prot, ProtocolStack.BELOW, "MERGE2");
}