diff --git a/platform/core-impl/src/com/intellij/ide/plugins/PluginManagerCore.java b/platform/core-impl/src/com/intellij/ide/plugins/PluginManagerCore.java
index 89023c3ff055..0f2e3ad99586 100644
--- a/platform/core-impl/src/com/intellij/ide/plugins/PluginManagerCore.java
+++ b/platform/core-impl/src/com/intellij/ide/plugins/PluginManagerCore.java
@@ -1651,5 +1651,17 @@ public class PluginManagerCore {
       });
       this.idMap = idMap;
     }
+
+    protected PluginTraverser(@NotNull Meta<PluginId> meta,
+                              @NotNull Map<PluginId, IdeaPluginDescriptorImpl> idMap) {
+      super(meta);
+      this.idMap = idMap;
+    }
+
+    @NotNull
+    @Override
+    protected JBTreeTraverser<PluginId> newInstance(@NotNull Meta<PluginId> meta) {
+      return new PluginTraverser(meta, idMap);
+    }
   }
 }
\ No newline at end of file