Update naar Vaadin 7.1.12.