Re: [infinispan-dev] JIRA priorities