Changes for jmxproxy 3.1.1