From 66e0fdc4dd4f654d76bb5b27e395110418e84bab Mon Sep 17 00:00:00 2001
From: Dos Moonen <darsstar@gmail.com>
Date: Tue, 23 May 2017 10:39:39 +0200
Subject: [PATCH] Fixed GWT DTD URL (#100)

---
 src/main/resources/AppWidgetset.tmpl | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/src/main/resources/AppWidgetset.tmpl b/src/main/resources/AppWidgetset.tmpl
index 763aa41e..5aa26770 100644
--- a/src/main/resources/AppWidgetset.tmpl
+++ b/src/main/resources/AppWidgetset.tmpl
@@ -1,6 +1,6 @@
 <?xml version="1.0" encoding="UTF-8"?>
-<!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">
+<!DOCTYPE module PUBLIC "-//Google Inc.//DTD Google Web Toolkit ${gwt.version}//EN"
+        "http://gwtproject.org/doctype/${gwt.version}/gwt-module.dtd">
 <module>
     <inherits name="com.vaadin.DefaultWidgetSet"/>
 </module>