Update to Vaadin 7.3.1.