From 1f7db5fb03e77ffe044b24a495fe20c93129f231 Mon Sep 17 00:00:00 2001
From: Evgeny Gerashchenko <Evgeny.Gerashchenko@jetbrains.com>
Date: Fri, 13 Jul 2012 15:10:02 +0400
Subject: [PATCH] Added copy method to CompilerConfiguration.

---
 .../src/org/jetbrains/jet/config/CompilerConfiguration.java | 6 ++++++
 1 file changed, 6 insertions(+)

diff --git a/compiler/frontend/src/org/jetbrains/jet/config/CompilerConfiguration.java b/compiler/frontend/src/org/jetbrains/jet/config/CompilerConfiguration.java
index 9953eb2dcc8..2f785b40f7c 100644
--- a/compiler/frontend/src/org/jetbrains/jet/config/CompilerConfiguration.java
+++ b/compiler/frontend/src/org/jetbrains/jet/config/CompilerConfiguration.java
@@ -62,4 +62,10 @@ public class CompilerConfiguration {
         List<T> list = holder.putUserDataIfAbsent(key, new CopyOnWriteArrayList<T>());
         list.addAll(value);
     }
+
+    public CompilerConfiguration copy() {
+        CompilerConfiguration copy = new CompilerConfiguration();
+        holder.copyUserDataTo(copy.holder);
+        return copy;
+    }
 }