From 049fd68f395af909bed49edb12add1296e78577c Mon Sep 17 00:00:00 2001
From: Henri Sara <henri.sara@itmill.com>
Date: Fri, 30 Oct 2009 08:46:41 +0000
Subject: [PATCH] Save modified GWT module also if not created by the widgetset
 builder

svn changeset:9486/svn branch:6.2
---
 .../vaadin/terminal/gwt/widgetsetutils/WidgetSetBuilder.java    | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/com/vaadin/terminal/gwt/widgetsetutils/WidgetSetBuilder.java b/src/com/vaadin/terminal/gwt/widgetsetutils/WidgetSetBuilder.java
index c6e9dd2275..d849c85fc7 100644
--- 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);
         }
-- 
2.39.5