Upgraded Vaadin version to 7.1.