From c10d96b43cc6882c993fb2db7c24e3bc82f96855 Mon Sep 17 00:00:00 2001 From: Ilia Motornyi Date: Mon, 13 Aug 2018 09:40:41 +0300 Subject: [PATCH] Set correct GWT .dtd definition (#11110) --- client/src/main/resources/com/vaadin/DefaultWidgetSet.gwt.xml | 2 +- client/src/main/resources/com/vaadin/Vaadin.gwt.xml | 2 +- .../src/main/resources/com/vaadin/v7/Vaadin7WidgetSet.gwt.xml | 2 +- documentation/clientside/clientside-module.asciidoc | 4 ++-- .../com/vaadin/server/widgetsetutils/WidgetSetBuilder.java | 2 +- .../addonusingownwidgetset/AddonUsingOwnWidgetSet.gwt.xml | 2 +- .../com/vaadin/test/ownwidgetset/OwnWidgetSet.gwt.xml | 2 +- .../com/vaadin/test/spaceindirectory/SpaceInDirectory.gwt.xml | 2 +- .../VaadinServletConfigurationWidgetSet.gwt.xml | 2 +- .../com/vaadin/tests/widgetset/TestingWidgetSet.gwt.xml | 2 +- 10 files changed, 11 insertions(+), 11 deletions(-) diff --git a/client/src/main/resources/com/vaadin/DefaultWidgetSet.gwt.xml b/client/src/main/resources/com/vaadin/DefaultWidgetSet.gwt.xml index 393e67b238..bf92370b33 100755 --- a/client/src/main/resources/com/vaadin/DefaultWidgetSet.gwt.xml +++ b/client/src/main/resources/com/vaadin/DefaultWidgetSet.gwt.xml @@ -1,5 +1,5 @@ - + diff --git a/documentation/clientside/clientside-module.asciidoc b/documentation/clientside/clientside-module.asciidoc index f7476dbe5b..63da2d647b 100644 --- a/documentation/clientside/clientside-module.asciidoc +++ b/documentation/clientside/clientside-module.asciidoc @@ -20,8 +20,8 @@ widget set, you should normally inherit the [classname]#DefaultWidgetSet#. + "-//Google Inc.//DTD Google Web Toolkit 2.8.2//EN" + "http://www.gwtproject.org/doctype/2.8.2/gwt-module.dtd"> 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 a45d5030a7..03b26d22d0 100644 --- 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("\n" - + "\n"); + + "\n"); printStream.print("\n"); printStream.print(" -- 2.39.5