changed vaadin 6.7.1 to 6.7.5 and recompiled widgetset