Vaadin version: 8.8.1

Release date: May 17, 2019