Vaadin version: 8.8.3

Release date: June 13, 2019