updates for tomcat-manager