Re: [infinispan-dev] Possible Bug in Distribution Manager