Re: [infinispan-dev] Repository name divergence annoyances