Tomcat: установка пользовательского URL-адреса сервлета (сопоставление сервлетов или развертывание .war)

Я надеюсь, что кто-нибудь сможет мне помочь с этим. Я запускаю фиктивный сервлет на сервере Tomcat. В основном это работает, сайт доступен после запуска. Я хотел бы указать собственный URL, например localhost:8080/mydesiredname

Я развертываю свой сервлет как файл .war. Оказалось, что имя .war определяет имя URL-адреса, по которому доступен Tomcat. Если он называется abc, мой сервлет будет работать под localhost:8080/abc.

Хотя я не недоволен этим решением, я задаюсь вопросом, чем хорош servlet-mapping в <Tomcathome>/conf/web.xml. Я попытался переопределить и / или добавить дополнительное имя URL-адреса, под которым мой сервлет должен быть доступен, но это, похоже, не работает. Мой код в web.xml выглядит так:

<servlet>
  <servlet-name>ABC</servlet-name>
  <servlet-class>myservlet.TheServlet</servlet-class>
</servlet>

    <servlet-mapping>
  <servlet-name>ABC</servlet-name>
  <url-pattern>/otherUrl</url-pattern>
</servlet-mapping> 

Поэтому я ожидал бы, что мой сервлет доступен только для /otherUrl или дополнительно к URL-адресу, определяемому именем .war. Я, наверное, что-то упускаю. Могут ли некоторые прояснить это для меня?