プロキシ経由でのアップデートサイト接続

プロキシ経由でネット接続している環境だと、VMwareの更新確認機能が動作していないようだったので調査。
http://kb.vmware.com/selfservice/microsites/search.do?language=en_US&cmd=displayKC&externalId=1553
これによると、config.iniに
webUpdate.proxy.server = “proxy.domain.org”
webUpdate.proxy.port = “1234”
の2行を追加してプロキシ設定しろってことらしいんだけど、設定しても接続できん・・・。