fixes #3603

svn changeset:9374/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 13516a73c2d41e488dab3a0815ab3014ebbf3114..05e2460a27debec9f8cd6b394a8d2af9b2611b87 100644 (file)
--- a/src/com/vaadin/terminal/gwt/widgetsetutils/WidgetSetBuilder.java
+++ b/src/com/vaadin/terminal/gwt/widgetsetutils/WidgetSetBuilder.java
@@ -43,6 +43,11 @@ public class WidgetSetBuilder {
             widgetsetFile.createNewFile();
             PrintStream printStream = new PrintStream(new FileOutputStream(
                     widgetsetFile));
+            printStream.print("<?xml version=\"1.0\" encoding=\"UTF-8\"?>\n"
+                    + "<!DOCTYPE module PUBLIC \"-//Google Inc.//DTD "
+                    + "Google Web Toolkit 1.7.0//EN\" \"http://google"
+                    + "-web-toolkit.googlecode.com/svn/tags/1.7.0/dis"
+                    + "tro-source/core/src/gwt-module.dtd\">\n");
             printStream.print("<module>\n\n</module>\n");
             printStream.close();
             changed = true;