[infinispan-issues] [JBoss JIRA] (ISPN-11749) Server patching tool