Non exploded sar containing war cannot undeploy the war file properly

A sar file containing a war file non exploded is dropped in AS before startup.
Start JBoss
Shutdown JBoss

The MainDeployer wants to stop() / destroy() the war file.
The Web deployer is already gone and it produces an javax.management.InstanceNotFoundException when it tries to stop() / destroy() the war deployer

Because the war is nested in a sar file, the web deployer is undeployed before the sar containing the war is undeployed.

Note : this does not happen with exploded sar (like http invoker sar that contains the invoker.war) because the war is added to the MainDeployer.deploymentList list. This does not
happen with non exploded because the war file is not in the local directory but rather in tmp and thus does not get added to the deployment list. Here are some field values :

the string used to discriminate wether it's in local or tmp

• file:/Users/julien/java/jboss-4.0.4.GA/server/default/tmp/deploy/

a war in non exploded sar

• file:/Users/julien/java/jboss-4.0.4.GA/server/default/tmp/deploy/tmp51485jboss-portal.sar-contents/portal-core.war

invoker.war in exploded sar

• file:/Users/julien/java/jboss-4.0.4.GA/server/default/deploy/http-invoker.sar/invoker.war/