Vaadin version: 8.5.0

Release date: July 25, 2018