/src/com/vaadin/terminal/gwt/

• ../
• DefaultWidgetSet.gwt.xml
• client
• public
• server
• widgetsetutils