A library of JMX extensions and utilities