update to vaadin 7.2.5