今更ながら、javaにおけるプロキシ(Proxy)の設定についてのメモ。シェル等の環境変数で渡せると思っていたら記憶間違い。正しくは、 java -Dhttp.proxyHost=xxxxx -Dhttp.proxyPort=8080 xxxx などと指定する必要がある。詳細は、JavaのNetworking Proxiesの…