code: protected <T extends VaadinServlet> Wrapper initializeVaadinServlet(T servlet) {
          // Setup vaadin servlet
          final Wrapper wrapper = Tomcat.addServlet(getContext(),
                  "vaadin", servlet);
          if (getConfig().getWidgetSet() != null) {
              wrapper.addInitParameter("widgetset", getConfig().getWidgetSet());
          }
  
          wrapper.addMapping("/*");
          return wrapper;
      }
docs: Initializes the vaadin servlet and maps it to <tt>/*</tt>.
  <p/>
  Returns the associated {@link Wrapper} for further customization.
  
  @param servlet the servlet to use to handle vaadin calls.
  @param <T> the type of the servlet
  @return the created wrapper for the servlet