From ecef9d970e05e17a281a579d37ab043b6a2a07e8 Mon Sep 17 00:00:00 2001
From: Matti Tahvonen <matti.tahvonen@itmill.com>
Date: Mon, 26 Oct 2009 12:20:34 +0000
Subject: [PATCH] fixes #3603

svn changeset:9374/svn branch:6.2
---
 .../vaadin/terminal/gwt/widgetsetutils/WidgetSetBuilder.java | 5 +++++
 1 file changed, 5 insertions(+)

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;
-- 
2.39.5