[jboss-jira] [JBoss JIRA] Resolved: (JBAS-8535) BeanManager not released from JNDI after undeploy