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