Upgrade to VAADIN 7.1.9