Re: [jboss-as7-dev] Undeploy due to server shutdown vs. explicit undeploy operation