Vaadin version: 8.1.3

Release date: Aug. 30, 2017