upgrading vaadin to 7.1.3