[jboss-jira] [JBoss JIRA] Updated: (JBAS-6708) once DeploymentManager.stop() is called on a WAR deployment, the next time managementView.getDeploymentNamesForType("war") is called, a deployment is no longer returned for that WAR