vaadin-framework/client/src/com/vaadin/DefaultWidgetSet.gwt.xml

<module>
    <!-- This GWT module defines the Vaadin DefaultWidgetSet. This is the 
        module you want to extend when creating an extended widget set, or when creating 
        a specialized widget set with a subset of the components. -->

    <!-- Hint for WidgetSetBuilder not to automatically update the file -->
    <!-- WS Compiler: manually edited -->

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

    <!-- Elemental is used for handling Json only -->
    <inherits name="elemental.Json" />
    
    <inherits name="com.google.gwt.precompress.Precompress"/>

    <entry-point class="com.vaadin.client.ApplicationConfiguration" />

    <generate-with
        class="com.vaadin.server.widgetsetutils.AcceptCriteriaFactoryGenerator">
        <when-type-is class="com.vaadin.client.ui.dd.VAcceptCriterionFactory" />
    </generate-with>

    <generate-with
        class="com.vaadin.server.widgetsetutils.ConnectorBundleLoaderFactory">
        <when-type-assignable
            class="com.vaadin.client.metadata.ConnectorBundleLoader" />
    </generate-with>


    <!-- Since 7.2. Compile all permutations (browser support) into one Javascript 
        file. Speeds up compilation and does not make the Javascript significantly 
        larger. -->
    <collapse-all-properties />

</module>