[infinispan-issues] [JBoss JIRA] (ISPN-4659) DefaultCacheManager.stop() is not removing the GlobalComponentRegistry JMX domain