updating to Vaadin 7.0.1