An Attach API for Java/JMX