update to work with Vaadin 7.0.1