[infinispan-dev] Got a hole in JIRA issue numbers