--- a/jdk/src/share/classes/sun/net/www/http/HttpClient.java Mon Jun 16 08:09:30 2014 -0700
+++ b/jdk/src/share/classes/sun/net/www/http/HttpClient.java Mon Jun 16 17:45:26 2014 +0100
@@ -558,7 +558,7 @@
// Do not use URLStreamHandler.toExternalForm as the fragment
// should not be part of the RequestURI. It should be an
// absolute URI which does not have a fragment part.
- StringBuffer result = new StringBuffer(128);
+ StringBuilder result = new StringBuilder(128);
result.append(url.getProtocol());
result.append(":");
if (url.getAuthority() != null && url.getAuthority().length() > 0) {