void () { if (myModifiableModuleModel != null) { Module[] modules = myModifiableModuleModel.getModules(); for (Module module : modules) { module.putUserData(MODIFIABLE_MODELS_PROVIDER_KEY, null); } } super.dispose(); }