Widgetset compilation for vaadin 7.2.x