Vaadin 7 version made as a Javascript extension