Vaadin version: 8.5.2

Release date: Sept. 7, 2018