@Override
        public void extensionRemoved(@NotNull PositionManagerFactory extension,
                                     @NotNull PluginDescriptor pluginDescriptor) {
          getManagerThread().invoke(PrioritizedTask.Priority.NORMAL, () -> {
            PositionManager manager = mapping.remove(extension);
            if (manager != null) {
              myPositionManager.removePositionManager(manager);
            }
          });
        }
@Override
        public void extensionRemoved(@NotNull PositionManagerFactory extension,
                                     @NotNull PluginDescriptor pluginDescriptor)