update to vaadin 7.1.15