vaadin-framework/compatibility-client/src/main/resources/com/vaadin/v7/Vaadin7WidgetSet.gwt.xml

<?xml version="1.0" encoding="UTF-8"?>
<!DOCTYPE module PUBLIC "-//Google Inc.//DTD Google Web Toolkit 2.8.1//EN" "http://gwtproject.org/doctype/2.8.1/gwt-module.dtd">
<module>
    <!-- Hint for WidgetSetBuilder not to automatically update the file -->
    <!-- WS Compiler: manually edited -->

    <inherits name="com.vaadin.DefaultWidgetSet" />

    <source path="shared" />
    <source path="client" />

</module>