update to vaadin 7.3.1