protected void processInternalMessage(final Table<Message> win, final Address sender) {
// If there are other msgs, tell the regular thread pool to handle them (https://issues.jboss.org/browse/JGRP-1732)
final AtomicBoolean processing=win.getProcessing();
if(!win.isEmpty() && !processing.get() /* && seqno < win.getHighestReceived() */) { // commented to handle hd == hr !
Executor pool=getTransport().getDefaultThreadPool();
pool.execute(new Runnable() {
public void run() {
if(processing.compareAndSet(false, true))
removeAndDeliver(processing, win, sender);
}
});