jdk/src/share/classes/java/net/URL.java
changeset 3450 2f08a8bb9b83
parent 3442 02df74328591
child 5506 202f599c92aa
--- a/jdk/src/share/classes/java/net/URL.java	Fri May 08 16:15:15 2009 +0400
+++ b/jdk/src/share/classes/java/net/URL.java	Tue May 12 16:32:34 2009 +0100
@@ -1005,7 +1005,7 @@
         }
 
         // Create a copy of Proxy as a security measure
-        Proxy p = proxy == Proxy.NO_PROXY ? Proxy.NO_PROXY : new Proxy(proxy.type(), proxy.address());
+        Proxy p = proxy == Proxy.NO_PROXY ? Proxy.NO_PROXY : sun.net.ApplicationProxy.create(proxy);
         SecurityManager sm = System.getSecurityManager();
         if (p.type() != Proxy.Type.DIRECT && sm != null) {
             InetSocketAddress epoint = (InetSocketAddress) p.address();