yeah, I agree. Currently, the module is still in deployed state (though the application context would have failed to initialized/refreshed).