From: Matti Tahvonen <matti.tahvonen@itmill.com>
Date: Mon, 26 Oct 2009 12:20:34 +0000 (+0000)
Subject: fixes #3603
X-Git-Tag: 6.7.0.beta1~2391
X-Git-Url: https://source.dussan.org/?a=commitdiff_plain;h=ecef9d970e05e17a281a579d37ab043b6a2a07e8;p=vaadin-framework.git

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 13516a73c2..05e2460a27 100644
--- 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;