1 files changed, 7 insertions, 1 deletions
diff --git a/src/com/vaadin/terminal/gwt/widgetsetutils/WidgetSetBuilder.java b/src/com/vaadin/terminal/gwt/widgetsetutils/WidgetSetBuilder.java
index c2c888c4bb..13516a73c2 100644
--- a/src/com/vaadin/terminal/gwt/widgetsetutils/WidgetSetBuilder.java
+++ b/src/com/vaadin/terminal/gwt/widgetsetutils/WidgetSetBuilder.java
@@ -34,6 +34,7 @@ public class WidgetSetBuilder {
 
     public static void updateWidgetSet(final String widgetset, String sourcepath)
             throws IOException, FileNotFoundException {
+        boolean changed = false;
         String widgetsetfilename = sourcepath + "/"
                 + widgetset.replace(".", "/") + ".gwt.xml";
         File widgetsetFile = new File(widgetsetfilename);
@@ -44,9 +45,11 @@ public class WidgetSetBuilder {
                     widgetsetFile));
             printStream.print("<module>\n\n</module>\n");
             printStream.close();
+            changed = true;
         }
 
         String content = readFile(widgetsetFile);
+        String originalContent = content;
 
         Collection<String> oldInheritedWidgetsets = getCurrentWidgetSets(content);
 
@@ -71,7 +74,10 @@ public class WidgetSetBuilder {
             }
         }
 
-        commitChanges(widgetsetfilename, content);
+        changed = changed ? true : content.equals(originalContent);
+        if (changed) {
+            commitChanges(widgetsetfilename, content);
+        }
     }
 
     private static String removeWidgetSet(String ws, String content) {