[jboss-jira] [JBoss JIRA] Closed: (JBAS-6696) add another parameter to DeploymentManager.distribute(), e.g. boolean deployExploded, where true means the archive gets unzipped before it's deployed