Sun Java System Web Server 7.0 Update 4 Developer's Guide to Java Web Applications
servlet-name Element
This element contains data that specifies the name of a servlet, which
is matched to a servlet-name in web.xml.
This name must be present in web.xml.
Subelements
none
Attributes
none