From 935db45ad1b8a8664b82e0e73be2546559a9b970 Mon Sep 17 00:00:00 2001
From: "Gregory.Shrago" <gregory.shrago@jetbrains.com>
Date: Wed, 11 Sep 2019 16:22:04 +0300
Subject: [PATCH] IDEA-CR-52216 fix JBTreeTraverser cannot be cast to
 PluginTraverser

GitOrigin-RevId: ddf8452cb7109362d138de87b7073c5fbee93ce8
---
 .../com/intellij/ide/plugins/PluginManagerCore.java  | 12 ++++++++++++
 1 file changed, 12 insertions(+)

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