--2013-09-30 00:26:14--  https://javahelp.dev.java.net/files/documents/5985/59373/javahelp2-src-2.0.05.zip
Resolving javahelp.dev.java.net... failed: Name or service not known.
wget: unable to resolve host address `javahelp.dev.java.net'