add Vaadin7 as Servlet