Null pointer exception in FLUSH.rejectFlush()

Continuing to test JGRP-1426 / JGRP-1443, I noticed this go past:

Exception in thread "Thread-10" java.lang.NullPointerException
at org.jgroups.protocols.pbcast.FLUSH.rejectFlush(FLUSH.java:566)
at org.jgroups.protocols.pbcast.FLUSH.access$100(FLUSH.java:42)
at org.jgroups.protocols.pbcast.FLUSH$2.run(FLUSH.java:824)
at java.lang.Thread.run(Thread.java:662)

So far as I can see, this one is fairly benign; but I figure that reporting it is the right thing to do.

Thanks!

David