更新ウィザードで接続できないときは...
(OTN-J書き込みより*1 )
JDeveloperでは、更新ウィザードより拡張機能(アドイン)をダウンロードできますが、環境によってダウンロード・サーバーに接続できない場合があります。原因はネットワークのプロキシ・サーバー設定によるものなんですが、JDeveloperには、プロキシ・サーバーの設定画面があり、「そこにきちんと設定してるぞ」とおっしゃる方もいることでしょう。
- ツール -> 設定-Webブラウザとプロキシ
では、なぜ設定していても接続に失敗するのでしょう?
これは、おそらく、その環境が HTTP ではなく HTTPS でのプロキシ・サーバー接続を必要とするからでしょう。そのため、
- AddVMOption -Dhttps.proxyHost=<プロキシサーバホスト名>
- AddVMOption -Dhttps.proxyPort=<ポート番号>
を jdev/bin/jdev.conf に手動で追加します。