Re: [infinispan-dev] Quick fix for ISPN-7710