Vaadin version: 8.7.2

Release date: April 4, 2019