Reducing default widgetset size

Hi,

I’m trying to reduce the first-time initialization of my Vaadin app. WIthout using a widgetset, the Hello World app requires about 900kb of content to be downloaded, which is great. However, with just the default widgetset and a small add-on, this increases to over 6MB, which is far too big. I’d like to keep the size at about 2-2.5mb max. I’ve tried doing lazy and on demand loading of widgets by adding the following lines to my widgetset:

<generate-with class="com.vaadin.terminal.gwt.widgetsetutils.WidgetMapGenerator">
    <when-type-is class="com.vaadin.terminal.gwt.client.WidgetMap" />
</generate-with>

Here is my sample widgetset:

<?xml version="1.0" encoding="UTF-8"?>
<generate-with class="com.vaadin.terminal.gwt.widgetsetutils.WidgetMapGenerator">
    <when-type-is class="com.vaadin.terminal.gwt.client.WidgetMap" />
</generate-with>

<inherits name="org.vaadin.jouni.animator.AnimatorWidgetset" />

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

but the download size is always > 6mb. What am I doing wrong? Is there something else I need to do to reduce the first-time initialization speed?

Thanks,
Eric

i have same problem