Vaadin version: 7.7.12

Release date: Oct. 12, 2017