code: public List<WebAppServletMapping> getServletMappings(
  			final String servletName) {
  		final Set<WebAppServletMapping> webAppServletMappings = servletMappings
  				.get(servletName);
  		if (webAppServletMappings == null) {
  			return new ArrayList<>();
  		}
  		return new ArrayList<>(webAppServletMappings);
  	}
docs: Returns a servlet mapping by servlet name.
  
  @param servletName servlet name
  @return array of servlet mappings for requested servlet name