return; final MessageBatch batch=new MessageBatch(win.getNumDeliverable()) .dest(local_addr).sender(sender).multicast(false); Supplier<MessageBatch> batch_creator=() -> batch;
return; final MessageBatch batch=new MessageBatch(win.getNumDeliverable()) .dest(local_addr).sender(sender).multicast(false); Supplier<MessageBatch> batch_creator=() -> batch;