--- a/jdk/src/share/classes/sun/management/Agent.java Sat Oct 19 17:53:44 2013 +0100
+++ b/jdk/src/share/classes/sun/management/Agent.java Sat Oct 19 20:59:42 2013 +0400
@@ -323,7 +323,7 @@
: String.format(
"service:jmx:rmi:///jndi/rmi://%s:%s/jmxrmi", hostname, jmxremotePort);
- String instanceName = System.getProperty("com.sun.management.jdp.name");
+ String instanceName = props.getProperty("com.sun.management.jdp.name");
try{
JdpController.startDiscoveryService(address, port, instanceName, jmxUrlStr);