updating to Vaadin 7.2.5