Vaadin version: 8.5.1

Release date: Aug. 1, 2018