Fixes the reverted [13971] issue.

svn changeset:14410/svn branch:6.4

diff --git a/src/com/vaadin/terminal/gwt/widgetsetutils/WidgetSetBuilder.java b/src/com/vaadin/terminal/gwt/widgetsetutils/WidgetSetBuilder.java
index 510754023e30522f10475b5fc7abc756d1015cb1..ccde1719e465b654b37270f9465070ee8d266d1d 100644 (file)
--- 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;