Widgetset compilation for vaadin 7.3.x