Eclipse3.6でのプロキシ設定

ハマったのでメモ。
プロキシ経由でEclipseのアップデートを行う場合、プロキシの設定が必要です。
設定画面から設定するのが普通なんですが、全く有効になりません。
どこで設定をするかというと、eclipse.iniでするみたいです。
eclipse.iniに以下のコードを貼りつけて、プロキシ情報を書きこんでください。

-Dorg.eclipse.ecf.provider.filetransfer.excludeContributors=org.eclipse.ecf.provider.filetransfer.httpclient
-Dhttp.proxyPort=8080 # ポート番号
-Dhttp.proxyHost=myproxy #プロキシホスト
-Dhttp.proxyUser=mydomain\myusername #ユーザー名
-Dhttp.proxyPassword=mypassword # パスワード
-Dhttp.nonProxyHosts=localhost|127.0.0.1 # 除外するホスト