Switch to Vaadin 7.3.2