IriaとかでJ-comのプロキシ使うにはどうすればいいのでしょうか？
http://proxy:8080を指定したもののホスト名が見つからないとか...