Antでプロキシーを設定する

Apache MyFacesの最新版をとってきて

ant download-dependencies

とすると関連するjarファイルを全部ダウンロードしてlibディレクトリに入れてくれる。非常に便利なのだが，プロキシーが必要な環境だと通らずにエラーになってしまう。build.xmlの最初の方（プロパティファイル読み込みの直後あたり）に以下の行を追加した。

これで無事にjarを取ってきてくれる。