From 24b76168dcadd28f243aa2abdcb8e565df31e3e6 Mon Sep 17 00:00:00 2001
From: Vladimir Krivosheev <vladimir.krivosheev@jetbrains.com>
Date: Fri, 2 Aug 2013 19:07:55 +0200
Subject: [PATCH] WI-19483 Internal Webserver: Necessary to restart PhpStorm to
 change PHP interpreter

---
 .../com/intellij/util/containers/ContainerUtil.java | 13 +++++++++++++
 1 file changed, 13 insertions(+)

diff --git a/platform/util/src/com/intellij/util/containers/ContainerUtil.java b/platform/util/src/com/intellij/util/containers/ContainerUtil.java
index 8518d46fb4cd..9b6cbe620a26 100644
--- a/platform/util/src/com/intellij/util/containers/ContainerUtil.java
+++ b/platform/util/src/com/intellij/util/containers/ContainerUtil.java
@@ -2036,4 +2036,17 @@ public class ContainerUtil extends ContainerUtilRt {
   public static <T> Collection<T> toCollection(@NotNull Iterable<T> iterable) {
     return iterable instanceof Collection ? (Collection<T>)iterable : newArrayList(iterable);
   }
+
+  @NotNull
+  public static <T> List<T> toList(@NotNull Enumeration<T> enumeration) {
+    if (!enumeration.hasMoreElements()) {
+      return Collections.emptyList();
+    }
+
+    List<T> result = new SmartList<T>();
+    while (enumeration.hasMoreElements()) {
+      result.add(enumeration.nextElement());
+    }
+    return result;
+  }
 }