From 565c1d46ff92b899487b8ea0fb9c38a43ca16976 Mon Sep 17 00:00:00 2001
From: Roman Shevchenko <roman.shevchenko@jetbrains.com>
Date: Thu, 11 Feb 2016 21:37:19 +0100
Subject: [PATCH] [platform] plugin manager should ignore duplicates found on a
 class path (IDEA-151593)

---
 .../src/com/intellij/ide/plugins/PluginManagerCore.java         | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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 d349ce55bfab..7cae6abfb550 100644
--- a/platform/core-impl/src/com/intellij/ide/plugins/PluginManagerCore.java
+++ b/platform/core-impl/src/com/intellij/ide/plugins/PluginManagerCore.java
@@ -903,7 +903,7 @@ public class PluginManagerCore {
     int i = 0;
     for (URL url : urls) {
       IdeaPluginDescriptorImpl descriptor = loadDescriptorFromResource(url);
-      if (descriptor != null) {
+      if (descriptor != null && !result.contains(descriptor)) {
         descriptor.setUseCoreClassLoader(true);
         result.add(descriptor);
         if (progress != null && !SPECIAL_IDEA_PLUGIN.equals(descriptor.getName())) {