Updated Vaadin to 7.3.5.