I meant the one in DefaultCacheManager, I think it makes sense to set the status to `TERMINATED` after stopping the cache manager, regardless of its previous state. I don't think breaking compatibility would be too bad here.