Update DOCTYPE in WidgetSetBuilder

diff --git a/server/src/main/java/com/vaadin/server/widgetsetutils/WidgetSetBuilder.java b/server/src/main/java/com/vaadin/server/widgetsetutils/WidgetSetBuilder.java
index a31b64a8839eb8017dd778ca92b4350477fdd0f6..fc01891b2e5aaefe72f8a9b75219ce1433f276ec 100644 (file)
--- a/server/src/main/java/com/vaadin/server/widgetsetutils/WidgetSetBuilder.java
+++ b/server/src/main/java/com/vaadin/server/widgetsetutils/WidgetSetBuilder.java
@@ -87,7 +87,7 @@ public class WidgetSetBuilder {
             try (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 2.5.1//EN\" \"http://google-web-toolkit.googlecode.com/svn/tags/2.5.1/distro-source/core/src/gwt-module.dtd\">\n");
+                        + "<!DOCTYPE module PUBLIC \"-//Google Inc.//DTD Google Web Toolkit 2.8.1//EN\" \"http://gwtproject.org/doctype/2.8.1/gwt-module.dtd\">\n");
                 printStream.print("<module>\n");
                 printStream.print("    <!--\n"
                         + "     Uncomment the following to compile the widgetset for one browser only.\n\n"