jdk/src/share/classes/sun/management/Agent.java
changeset 24969 afa6934dd8e8
parent 23010 6dadb192ad81
child 24980 dbf4ae2cafa4
--- a/jdk/src/share/classes/sun/management/Agent.java	Mon Jun 16 08:09:30 2014 -0700
+++ b/jdk/src/share/classes/sun/management/Agent.java	Mon Jun 16 17:45:26 2014 +0100
@@ -401,7 +401,7 @@
             if (home == null) {
                 throw new Error("Can't find java.home ??");
             }
-            StringBuffer defaultFileName = new StringBuffer(home);
+            StringBuilder defaultFileName = new StringBuilder(home);
             defaultFileName.append(File.separator).append("lib");
             defaultFileName.append(File.separator).append("management");
             defaultFileName.append(File.separator).append("management.properties");
@@ -495,7 +495,7 @@
         if (params == null || params.length == 0) {
             error(key);
         } else {
-            StringBuffer message = new StringBuffer(params[0]);
+            StringBuilder message = new StringBuilder(params[0]);
             for (int i = 1; i < params.length; i++) {
                 message.append(" " + params[i]);
             }