// this servlet instance...
servlet.getUrlMappings().add(urlMapping);
String allowedPorts = webEndpointConfig.getAttribute(Servlet.ALLOWED_PORTS);
if(allowedPorts != null) {
servlet.getParams().add( new KeyValuePair(Servlet.ALLOWED_PORTS, allowedPorts) );
}
// Add the endpoint address of the servlet...
addEndpointAddress(webEndpointConfig, servlet, urlMapping);
// Add the security configurations for the servlet...
addSecurityConstraints(webEndpointConfig, servlet);
// Map all config tree attributes as servlet parameters...
servlet.getParams().addAll(webEndpointConfig.attributesAsList());
servlet.getParams().add(new KeyValuePair(ListenerTagNames.DEPLOYMENT_NAME_TAG, deploymentName)) ;
}