code: public void addServlet(String name, String pathSpec,
        Class<? extends HttpServlet> clazz) {
      addInternalServlet(name, pathSpec, clazz);
      addFilterPathMapping(pathSpec, webAppContext);
    }
docs: Add a servlet in the server.
  @param name The name of the servlet (can be passed as null)
  @param pathSpec The path spec for the servlet
  @param clazz The servlet class