Vaadin version: 8.9.3

Release date: Nov. 22, 2019