Re: [infinispan-dev] build failures on jenkins