<?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">
<module>
    <inherits name="com.vaadin.DefaultWidgetSet"/>

    <collapse-all-properties/>

    <!--
        To disable SuperDevMode, comment or remove this line.

        See https://vaadin.com/wiki/-/wiki/Main/Using%20SuperDevMode for more
        information and instructions.
    -->
    <set-configuration-property name="devModeRedirectEnabled" value="true"/>

    <inherits name="com.vaadin.addon.charts.Widgetset"/>

    <inherits name="com.vaadin.addon.timeline.gwt.TimelineWidgetSet"/>

    <inherits name="org.vaadin.mockapp.samples.SampleWidgetset"/>
</module>

<?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">
<module>
    <inherits name="com.vaadin.DefaultWidgetSet"/>

    <inherits name="com.vaadin.addon.charts.Widgetset"/>

    <inherits name="com.vaadin.addon.timeline.gwt.TimelineWidgetSet"/>

    <inherits name="org.vaadin.mockapp.samples.SampleWidgetset"/>
</module>

Remove redundant parameters in widgetset file
Remove redundant parameters in widgetset file

In Vaadin 7.3, both collapse-all-properties and superdevmode are
enabled by default.