Update Vaadin version to 7.2.0