code: private ServletMappingDescriptor createServletMapping(ServletMappingType servletMappingType, Map<String, ServletDescriptor> servlets, Store store) {
          ServletMappingDescriptor servletMappingDescriptor = store.create(ServletMappingDescriptor.class);
          ServletNameType servletName = servletMappingType.getServletName();
          ServletDescriptor servletDescriptor = getOrCreateNamedDescriptor(ServletDescriptor.class, servletName.getValue(), servlets, store);
          servletDescriptor.getMappings().add(servletMappingDescriptor);
          for (UrlPatternType urlPatternType : servletMappingType.getUrlPattern()) {
              UrlPatternDescriptor urlPatternDescriptor = createUrlPattern(urlPatternType, store);
              servletMappingDescriptor.getUrlPatterns().add(urlPatternDescriptor);
          }
          return servletMappingDescriptor;
      }
docs: Create a servlet mapping descriptor.
  
  @param servletMappingType
  The XML servlet mapping type.
  @param store
  The store.
  @return The servlet mapping descriptor.