jsr77 EJBModule not deregistered correctly from J2EEServer

The deployedObjects[] attribute of jboss.management.local:name=Local, j2eeType=J2EEServer contains the objectname of an undeployed EJBModule, e.g:

jboss.management.local:J2EEApplication=j2eeapplication_ejb_vehicle.ear,J2EEServer=Local,j2eeType=EJBModule,name=j2eeapplication_ejb_vehicle_ejb.jar

You can verify the inconcistensy using 'twiddle jsr77' that traverses the jsr77 tree:

X:\cvs\jboss-public\jboss-4.2\build\output\jboss-4.2.0.GA\bin>twiddle jsr77
J2EEDomain=jboss.management.local

J2EEServer=Local
serverVendor=JBoss (http://www.jboss.org/)
serverVersion=4.2.0.GA (build: SVNTag=JBoss_4_2_0_GA date=200703301703)

ServiceModule=ejb3.deployer
MBean=jboss.remoting%3atype%3dConnector%2cname%3dDefaultEjb3Connector%2cha
ndler%3dejb3
stateMonitored=false
StateString=j2ee.object.deleted
MBean=jboss.ejb3%3aservice%3dJarsIgnoredForScanning
stateMonitored=true
StateString=j2ee.object.deleted
MBean=jboss.ejb3%3aservice%3dEJB3Deployer
stateMonitored=true
StateString=j2ee.state.running
...
MBean=jboss.deployment%3atype%3dDeploymentScanner%2cflavor%3dURL
stateMonitored=true
StateString=j2ee.state.running

EJBModule=j2eeapplication_ejb_vehicle_ejb.jar
20:57:20,975 ERROR [Twiddle] Exec failed
javax.management.InstanceNotFoundException: jboss.management.local:J2EEApplicati
on=j2eeapplication_ejb_vehicle.ear,J2EEServer=Local,j2eeType=EJBModule,name=j2ee
application_ejb_vehicle_ejb.jar is not registered.
at org.jboss.mx.server.registry.BasicMBeanRegistry.get(BasicMBeanRegistr
y.java:523)
at org.jboss.mx.server.MBeanServerImpl.getAttribute(MBeanServerImpl.java
:550)
at sun.reflect.GeneratedMethodAccessor109.invoke(Unknown Source)
at sun.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAcces
sorImpl.java:25)
at java.lang.reflect.Method.invoke(Method.java:585)
at org.jboss.jmx.connector.invoker.InvokerAdaptorService.invoke(InvokerA
...