Apache MyFacesの最新版をとってきて ant download-dependencies とすると関連するjarファイルを全部ダウンロードしてlibディレクトリに入れてくれる。非常に便利なのだが，プロキシーが必要な環境だと通らずにエラーになってしまう。build.xmlの最初の方（…