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 list = holder.putUserDataIfAbsent(key, new CopyOnWriteArrayList()); list.addAll(value); } + + public CompilerConfiguration copy() { + CompilerConfiguration copy = new CompilerConfiguration(); + holder.copyUserDataTo(copy.holder); + return copy; + } }