Update widgetset template (#12053)

Change-Id: I8444139c9ed7d2bb3a8dd7c967cccf14d9038b27

diff --git a/server/src/com/vaadin/server/widgetsetutils/WidgetSetBuilder.java b/server/src/com/vaadin/server/widgetsetutils/WidgetSetBuilder.java
index 3a0e59df71d847d3447955fad9ac1c1923de9c5b..6d0818b2cd274a51d5991c3d7fcf28f7bf10ab3a 100644 (file)
--- a/server/src/com/vaadin/server/widgetsetutils/WidgetSetBuilder.java
+++ b/server/src/com/vaadin/server/widgetsetutils/WidgetSetBuilder.java
@@ -84,25 +84,26 @@ 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("<?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");
             printStream.print("<module>\n");
             printStream
                     .print("    <!--\n"
-                            + "     Uncomment the following to compile the widgetset for one browser only.\n"
-                            + "     This can reduce the GWT compilation time significantly when debugging.\n"
-                            + "     The line should be commented out before deployment to production\n"
-                            + "     environments.\n\n"
-                            + "     Multiple browsers can be specified for GWT 1.7 as a comma separated\n"
-                            + "     list. The supported user agents at the moment of writing were:\n"
-                            + "     ie6,ie8,gecko,gecko1_8,safari,opera\n\n"
-                            + "     The value gecko1_8 is used for Firefox 3 and later and safari is used for\n"
-                            + "     webkit based browsers including Google Chrome.\n"
+                            + "     Uncomment the following to compile the widgetset for one browser only.\n\n"
+                            + "     Multiple browsers can be specified as a comma separated list. The\n"
+                            + "     supported user agents at the moment of writing were:\n"
+                            + "     ie8,ie9,gecko1_8,safari,opera\n\n"
+                            + "     The value gecko1_8 is used for Firefox and safari is used for webkit\n"
+                            + "     based browsers including Google Chrome.\n"
+                            + "    -->\n"
+                            + "    <!-- <set-property name=\"user.agent\" value=\"safari\"/> -->\n\n"
+                            + "    <!--\n"
+                            + "    To enable SuperDevMode, uncomment this line.\n\n"
+                            + "    See https://vaadin.com/wiki/-/wiki/Main/Using%20SuperDevMode for more\n"
+                            + "    information and instructions.\n"
                             + "    -->\n"
-                            + "    <!-- <set-property name=\"user.agent\" value=\"gecko1_8\"/> -->\n");
+                            + "    <!-- <set-configuration-property name=\"devModeRedirectEnabled\" value=\"true\" /> -->\n\n");
             printStream.print("\n</module>\n");
             printStream.close();
             changed = true;