Re: [infinispan-dev] API behaviour when using DIST