tomcat manager clarifications (this was fairly muddled)