docs: private void addDispatcherServlet() {
          ServletHolder servletHolder = new ServletHolder(new CitrusMessageDispatcherServlet(this));
          servletHolder.setName(getServletName());
          servletHolder.setInitParameter("contextConfigLocation", contextConfigLocation);
  
          servletHandler.addServlet(servletHolder);
  
          ServletMapping servletMapping = new ServletMapping();
          servletMapping.setServletName(getServletName());
          servletMapping.setPathSpec(servletMappingPath);
  
          servletHandler.addServletMapping(servletMapping);
      }