Update to Vaadin 7.0.2