[jboss-jira] [JBoss JIRA] Resolved: (JBAS-8912) JBossCacheManager.listSessionIds() not accurate when using DIST