jdk/src/share/classes/java/net/URLStreamHandler.java
changeset 24969 afa6934dd8e8
parent 24865 09b1d992ca72
--- a/jdk/src/share/classes/java/net/URLStreamHandler.java	Mon Jun 16 08:09:30 2014 -0700
+++ b/jdk/src/share/classes/java/net/URLStreamHandler.java	Mon Jun 16 17:45:26 2014 +0100
@@ -486,7 +486,7 @@
         if (u.getRef() != null)
             len += 1 + u.getRef().length();
 
-        StringBuffer result = new StringBuffer(len);
+        StringBuilder result = new StringBuilder(len);
         result.append(u.getProtocol());
         result.append(":");
         if (u.getAuthority() != null && u.getAuthority().length() > 0) {