Re-added old DefaultWidgetSet which was accidentally deleted in a merge

diff --git a/client/src/com/vaadin/terminal/gwt/DefaultWidgetSet.gwt.xml b/client/src/com/vaadin/terminal/gwt/DefaultWidgetSet.gwt.xml
new file mode 100644 (file)
index 0000000..f3cc2bc
--- /dev/null
+++ b/client/src/com/vaadin/terminal/gwt/DefaultWidgetSet.gwt.xml
@@ -0,0 +1,9 @@
+<module>
+    <!-- This GWT module is provided for backwards compatibility only. You 
+        should inherit com.vaadin.DefaultWidgetSet instead. -->
+
+    <!-- Hint for WidgetSetBuilder not to automatically update the file -->
+    <!-- WS Compiler: manually edited -->
+    <inherits name="com.vaadin.DefaultWidgetSet" />
+
+</module>
\ No newline at end of file