title: Vaadin and Spring integration: what replaces @VaadinServletConfiguration?
body: <p>In my pre-spring code I had following configuration:</p>
  
  <pre><code>@VaadinServletConfiguration(productionMode = false, ui = AppUI.class, closeIdleSessions = true)
  public class AppServlet extends VaadinServlet {
  }
  </code></pre>
  
  <p>But the <a href="https://vaadin.com/book/-/page/advanced.spring.html#advanced.spring.deployment" rel="nofollow">Book of Vaadin says in 11.18.9. Deploying Spring UIs and Servlets:
  Custom Servlets</a></p>
  
  <blockquote>
    <p>When customizing the Vaadin servlet, as outlined in Section 4.8.2, “Vaadin Servlet, Portlet, and Service”, you simply need to extend
    com.vaadin.spring.internal.VaadinSpringServlet instead of
    com.vaadin.servlet.VaadinServlet.</p>
  
  <pre><code>@WebServlet(value = "/*", asyncSupported = true)
  public class MySpringServlet extends SpringVaadinServlet {
  }
  </code></pre>
    
    <p>The custom servlet must not have @VaadinServletConfiguration, as you would normally with a Vaadin servlet, as described in Section 4.9,
    “Deploying an Application”.</p>
  </blockquote>
  
  <p>My question is: Where do I pass parameters from @VaadinServletConfiguration?</p>