Vaadin version: 8.4.2

Release date: May 17, 2018