新規 JRE 定義の追加

JRE 定義は好きな数だけ追加することができます。

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

関連概念
Java 開発ツール (JDT)

関連タスク
JRE の操作
デフォルトの JRE をワークベンチへ割り当て
JRE 定義の編集
JRE 定義のデフォルト・システム・ライブラリーのオーバーライド

関連参照
「インストール済みの JRE」設定ページ