From 1eddec2f2e2f3274dfaefe593a9cec82c81a211c Mon Sep 17 00:00:00 2001
From: nik <Nikolay.Chashnikov@jetbrains.com>
Date: Tue, 25 Mar 2014 18:24:38 +0400
Subject: [PATCH] JPS extension loading: skip duplicated urls

---
 .../src/com/intellij/jps/impl/JpsIdePluginManagerImpl.java  | 6 +++++-
 1 file changed, 5 insertions(+), 1 deletion(-)

diff --git a/platform/platform-impl/src/com/intellij/jps/impl/JpsIdePluginManagerImpl.java b/platform/platform-impl/src/com/intellij/jps/impl/JpsIdePluginManagerImpl.java
index c079d388159d..72e7b8a4973e 100644
--- a/platform/platform-impl/src/com/intellij/jps/impl/JpsIdePluginManagerImpl.java
+++ b/platform/platform-impl/src/com/intellij/jps/impl/JpsIdePluginManagerImpl.java
@@ -68,11 +68,15 @@ public class JpsIdePluginManagerImpl extends JpsPluginManager {
       loaders.add(getClass().getClassLoader());
     }
 
+    Set<String> loadedUrls = new HashSet<String>();
     for (ClassLoader loader : loaders) {
       try {
         Enumeration<URL> resources = loader.getResources(resourceName);
         while (resources.hasMoreElements()) {
-          loadImplementations(resources.nextElement(), loader, classes);
+          URL url = resources.nextElement();
+          if (loadedUrls.add(url.toExternalForm())) {
+            loadImplementations(url, loader, classes);
+          }
         }
       }
       catch (IOException e) {