SpringVaadinServlet use