Jenkinsの自動インストールをプロキシ対応するヘッポコパッチを作った

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

あんまり気にもせず「こんなもんかぁ」と思ってたら，川口さんから「それはバグ」と指摘をうける。

JenkinsのBTS調べてみたら，ちゃんとチケットもあがってた。
→ [JENKINS-10634] Proxy settings arent used by JDK-downloader - Jenkins JIRA

うむ，みんなこの機能使ってないのかねぇ。とは言え，バグだって言うし，見つけちゃったし，で仕方ないから直してみることにしたよ。