String servletName = srcServletMapping.getServletName().getStringValue();
for (UrlPatternType urlPattern : srcServletMapping.getUrlPatternArray()) {
String urlPatternStr = urlPattern.getStringValue();
String servletMappingUrlPatternKey = createServletMappingUrlPatternKey(servletName, urlPatternStr);
if (!mergeContext.containsAttribute(servletMappingUrlPatternKey)) {
UrlPatternType newUrlPattern = (UrlPatternType) targetServletMapping.addNewUrlPattern().set(urlPattern);
if (!WebDeploymentValidationUtils.isValidUrlPattern(urlPatternStr)) {
throw new DeploymentException(WebDeploymentMessageUtils.createInvalidUrlPatternErrorMessage("servlet-mapping", servletName, urlPatternStr, "web-fragment.xml located in "
+ mergeContext.getCurrentJarUrl()));
}
mergeContext.setAttribute(servletMappingUrlPatternKey, newUrlPattern);