JRE 定義の編集
JRE の型を除く JRE 定義の設定はすべて変更することができます。
- メニュー・バーから「ウィンドウ」>「設定」と選択します。
- 左側のペインで「Java」カテゴリーを展開して、「インストール済み JRE」を選択します。
- 編集する JRE 定義を選択し、「編集...」をクリックします。
「JRE を編集」ページが開きます。
- 「JRE 名」フィールドで、JRE 定義の名前を編集します。
タイプが同じであれば、すべての JRE は同じ名前を持つ必要があります。
- 「JRE のホーム・ディレクトリー」フィールドで、JRE インストールのルート・ディレクトリー (通常は、JRE の bin および lib ディレクトリーを含むディレクトリー) のパスを編集するか、または「ブラウズ...」をクリックして選択します。
このロケーションは、それが有効なパスであることを確認するために自動的に検査されます。
- 「Javadoc URL」フィールドで、URL ロケーション編集するか、または「ブラウズ...」をクリックして選択します。
このロケーションは、Javadoc エクスポート・ウィザードによってデフォルト値として使用されるか、または「外部 Javadoc を開く」アクションによって使用されます。
- この JRE でデフォルトのライブラリーおよびソース・ファイルを使用したい場合は、「 デフォルト・システム・ライブラリーの使用」チェック・ボックスを選択します。
そうでない場合は、これをクリアして必要に応じてカスタマイズを行ってください。
参照される JAR にソースを添付することもできます。
- 終了したら、「OK」をクリックします。
Java 開発ツール (JDT)
新規 JRE 定義の追加
JRE 定義の削除
JRE 定義のデフォルトのシステム・ライブラリーのオーバーライド
JRE の操作
「インストール済み JRE」設定ページ