Upgrade to jmxutils 1.13