code: private void lookupDefaultServletName(ServletContext servletContext) {
          if (servletContext.getNamedDispatcher(COMMON_DEFAULT_SERVLET_NAME) != null) {
              defaultServletName = COMMON_DEFAULT_SERVLET_NAME;
          } else if (servletContext.getNamedDispatcher(RESIN_DEFAULT_SERVLET_NAME) != null) {
              defaultServletName = RESIN_DEFAULT_SERVLET_NAME;
          } else if (servletContext.getNamedDispatcher(WEBLOGIC_DEFAULT_SERVLET_NAME) != null) {
              defaultServletName = WEBLOGIC_DEFAULT_SERVLET_NAME;
          } else if (servletContext.getNamedDispatcher(WEBSPHERE_DEFAULT_SERVLET_NAME) != null) {
              defaultServletName = WEBSPHERE_DEFAULT_SERVLET_NAME;
          } else if (servletContext.getNamedDispatcher(GAE_DEFAULT_SERVLET_NAME) != null) {
              defaultServletName = GAE_DEFAULT_SERVLET_NAME;
          } else if (servletContext.getNamedDispatcher(JEUS_DEFAULT_SERVLET_NAME) != null) {
              defaultServletName = JEUS_DEFAULT_SERVLET_NAME;
          } else {
              if (log.isDebugEnabled()) {
                  log.debug("Unable to locate the default servlet for serving static content. " +
                          "Please set the 'web.defaultServletName'.");
              }
          }
      }
docs: Lookup default servlet name.
  
  @param servletContext the servlet context