Vaadin version: 8.9.4

Release date: Dec. 20, 2019