Vaadin version: 8.8.5

Release date: July 1, 2019