Vaadin updated to version 7.1.5