for(JChannel ch: channels) {
MyReceiver receiver=(MyReceiver)ch.getReceiver();
int received=receiver.getReceived();
System.out.println(ch.getAddress() + ": " + received);
STABLE stable=(STABLE)ch.getProtocolStack().findProtocol(STABLE.class);
stable.runMessageGarbageCollection();
if(received != TOTAL_NUM_MSGS) {
done=false;
break;
}
}