Tomcat Monitoring Extensions