JenkinsにはJDKやAntをインターネットからダウンロードしてきて自動でインストールする便利な機能があるんだけれどもファイアウォール内でうまく動いた試しがなかったのだよ（当然，Jenkinsにプロキシの設定はしてる。 あんまり気にもせず「こんなもんかぁ」…