Java Management Extensions: Managing Java Applications with JMX