upgrading to Vaadin 7.1.9