Request Review: 6912868

[Christopher Hegarty - Sun Microsystems Ireland]

Hi All,

This patch corrects Java's usage of Gnome's proxy setting, in particular 
the previously ignored "use_same_proxy" setting as described on 
http://bugs.sun.com/bugdatabase/view_bug.do?bug_id=6912868 and
https://bugzilla.redhat.com/show_bug.cgi?id=536704.

I've added a manual test where the fix can be seen to resolve the bug.

6912868: "java.net.useSystemProxies" behavior fails to check 
"use_same_proxy" in GNOME

OpenJDK Bugzilla ID:
   https://bugs.openjdk.java.net/show_bug.cgi?id=100128

Webrev:
   http://cr.openjdk.java.net/~chegar/6912868/webrev.00/webrev/

Contribution-by: damjan.jov at gmail.com

Thanks,
-Chris.