From 1001edf4d25adea0f857cfd3b7f1391833f831d7 Mon Sep 17 00:00:00 2001
From: Vassiliy Kudryashov <Vassiliy.Kudryashov@jetbrains.com>
Date: Fri, 3 Aug 2012 13:46:22 +0400
Subject: [PATCH] Fix for ConcurrentModificationException

---
 .../com/intellij/openapi/fileEditor/impl/EditorsSplitters.java | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/platform/platform-impl/src/com/intellij/openapi/fileEditor/impl/EditorsSplitters.java b/platform/platform-impl/src/com/intellij/openapi/fileEditor/impl/EditorsSplitters.java
index 1afc02766e6b..24857210cf54 100644
--- a/platform/platform-impl/src/com/intellij/openapi/fileEditor/impl/EditorsSplitters.java
+++ b/platform/platform-impl/src/com/intellij/openapi/fileEditor/impl/EditorsSplitters.java
@@ -55,6 +55,7 @@ import java.awt.datatransfer.Transferable;
 import java.io.File;
 import java.util.*;
 import java.util.List;
+import java.util.concurrent.CopyOnWriteArraySet;
 
 
 /**
@@ -64,7 +65,7 @@ public class EditorsSplitters extends JPanel {
   private static final Logger LOG = Logger.getInstance("#com.intellij.openapi.fileEditor.impl.EditorsSplitters");
 
   private EditorWindow myCurrentWindow;
-  final Set<EditorWindow> myWindows = new ArrayListSet<EditorWindow>();
+  final Set<EditorWindow> myWindows = new CopyOnWriteArraySet<EditorWindow>();
 
   private final FileEditorManagerImpl myManager;
   private Element mySplittersElement;  // temporarily used during initialization