Vaadin 7 support as an extension + Navigator support