Vaadin 7 support as an extension