scala JMX API