Hi Mike,
>Webclient team: should I write this up as a bug? Does
>this stand a chance of being corrected and rolled into a (hopefully
>soon-to-be-released) next version of Webclient?
>-Michael Epstein
If you could reproduce this bug with WebClient, I would suggest you
report it as a bug.
I am not sure if you have been able to resolve this issue using the
System.properties in java.
I have attached some code snippet from a forum at javasoft in case you
need it.
Properties prop = System.getProperties();
prop.put("proxySet","true");
prop.put("proxyHost",proxyHost);
prop.put("proxyPort",proxyPort);
Here is the reference of the forum:
http://forum.java.sun.com/thread.jsp?forum=5&thread=11691
I believe this will set the settings on your system from within java.
Let me know how it goes..Hope this works for you.
R/
Jeet
-------