Re[2]: определить имя приложения Tomcat

то есть стандартными средствами (кроме того как это сделано в
/manager tomcat'а) никак?

Пока на собственное сообщение не было ответов, его можно удалить.

Заголовок: