Save modified GWT module also if not created by the widgetset builder

svn changeset:9486/svn branch:6.2

diff --git a/src/com/vaadin/terminal/gwt/widgetsetutils/WidgetSetBuilder.java b/src/com/vaadin/terminal/gwt/widgetsetutils/WidgetSetBuilder.java
index c6e9dd22753d018ce101c9387a7116b196b3668d..d849c85fc71bf2e169613ad2ee720b87c60a4fa6 100644 (file)
--- a/src/com/vaadin/terminal/gwt/widgetsetutils/WidgetSetBuilder.java
+++ b/src/com/vaadin/terminal/gwt/widgetsetutils/WidgetSetBuilder.java
@@ -88,7 +88,7 @@ public class WidgetSetBuilder {
             }
         }
 
-        changed = changed ? true : content.equals(originalContent);
+        changed = changed || !content.equals(originalContent);
         if (changed) {
             commitChanges(widgetsetfilename, content);
         }