From 88bf5707b85f1b2c90be6084b32ff8c567410cd0 Mon Sep 17 00:00:00 2001
From: Henri Sara <henri.sara@itmill.com>
Date: Wed, 30 Jun 2010 09:51:07 +0000
Subject: [PATCH] Avoid duplicating references to any GWT modules, not just
 widgetsets.

svn changeset:13971/svn branch:6.4
---
 .../terminal/gwt/widgetsetutils/WidgetSetBuilder.java     | 8 +++-----
 1 file changed, 3 insertions(+), 5 deletions(-)

diff --git a/src/com/vaadin/terminal/gwt/widgetsetutils/WidgetSetBuilder.java b/src/com/vaadin/terminal/gwt/widgetsetutils/WidgetSetBuilder.java
index 32ce84fa66..4b8ad76888 100644
--- a/src/com/vaadin/terminal/gwt/widgetsetutils/WidgetSetBuilder.java
+++ b/src/com/vaadin/terminal/gwt/widgetsetutils/WidgetSetBuilder.java
@@ -92,7 +92,7 @@ public class WidgetSetBuilder {
         if (isEditable(content)) {
             String originalContent = content;
 
-            Collection<String> oldInheritedWidgetsets = getCurrentWidgetSets(content);
+            Collection<String> oldInheritedWidgetsets = getCurrentGwtModules(content);
 
             // add widgetsets that do not exist
             for (String ws : availableWidgetSets.keySet()) {
@@ -143,7 +143,7 @@ public class WidgetSetBuilder {
                 + "\" />" + "\n</module>");
     }
 
-    private static Collection<String> getCurrentWidgetSets(String content) {
+    private static Collection<String> getCurrentGwtModules(String content) {
         HashSet<String> hashSet = new HashSet<String>();
         Pattern inheritsPattern = Pattern.compile(" name=\"([^\"]*)\"");
 
@@ -151,9 +151,7 @@ public class WidgetSetBuilder {
 
         while (matcher.find()) {
             String possibleWidgetSet = matcher.group(1);
-            if (possibleWidgetSet.toLowerCase().contains("widgetset")) {
-                hashSet.add(possibleWidgetSet);
-            }
+            hashSet.add(possibleWidgetSet);
         }
         return hashSet;
     }
-- 
2.39.5