/src/com/vaadin/portal/gwt/

• ../
• PortalDefaultWidgetSet.gwt.xml