[infinispan-issues] [JBoss JIRA] Commented: (ISPN-1077) Multiple leaves are not handled correctly with DIST