upgrade vaadin to 7.3.1 to support newer snapshot of vaadin4spring; recompile widgetsets