I am running the following java program in the Eclipse IDE:
import java.net.*; import java.io.*; public class HH { public static void main(String[] arg
I found that I also required the following java command line options
-Dhttps.proxyPort=8888 -Dhttps.proxyHost=127.0.0.1