additions for tomcat manager app