Upgrading to Vaadin 7.0.7