特定平台细节：设置代理主机

您可以通过命令行设置代理主机。根据您的网络配置，您可能还需要设置代理端口。如有必要，请向系统管理员询问您网络上的代理主机名称。

UNIX

java -Dhttp.proxyHost=代理主机
[-Dhttp.proxyPort=端口号] URLReader

DOS shell（Windows 95/NT）

java -Dhttp.proxyHost=代理主机
[-Dhttp.proxyPort=端口号] URLReader