JMX (Java Monitoring API) extension to xmlsh