Getting some metrics from tomcat using JMX