From f04f14a1824bd0edfb4c0c4e61949729e1037b27 Mon Sep 17 00:00:00 2001
From: John Alhroos <john.ahlroos@itmill.com>
Date: Wed, 4 Aug 2010 13:54:35 +0000
Subject: [PATCH] Fixes the reverted [13971] issue.

svn changeset:14410/svn branch:6.4
---
 .../vaadin/terminal/gwt/widgetsetutils/WidgetSetBuilder.java | 5 ++++-
 1 file changed, 4 insertions(+), 1 deletion(-)

diff --git a/src/com/vaadin/terminal/gwt/widgetsetutils/WidgetSetBuilder.java b/src/com/vaadin/terminal/gwt/widgetsetutils/WidgetSetBuilder.java
index 510754023e..ccde1719e4 100644
--- a/src/com/vaadin/terminal/gwt/widgetsetutils/WidgetSetBuilder.java
+++ b/src/com/vaadin/terminal/gwt/widgetsetutils/WidgetSetBuilder.java
@@ -16,6 +16,7 @@ import java.io.Reader;
 import java.net.URL;
 import java.util.Collection;
 import java.util.HashSet;
+import java.util.Iterator;
 import java.util.Map;
 import java.util.regex.Matcher;
 import java.util.regex.Pattern;
@@ -102,7 +103,9 @@ public class WidgetSetBuilder {
             Collection<String> oldInheritedWidgetsets = getCurrentGwtModules(content);
 
             // add widgetsets that do not exist
-            for (String ws : availableWidgetSets.keySet()) {
+            Iterator<String> i = availableWidgetSets.keySet().iterator();
+            while (i.hasNext()) {
+                String ws = i.next();
                 if (ws.equals(widgetset)) {
                     // do not inherit the module itself
                     continue;
-- 
2.39.5