Update to Vaadin version 7.1.11