code: public ServletHolder newServletHolder(String name,
                                            String servletClass)
      {
          return newServletHolder(name,servletClass,null);
      }
docs: /* ------------------------------------------------------------