新規 JRE 定義の追加
ワークスペースには、任意の数の JRE 定義を含めることができます。また、必要に応じていくつでも JRE 定義を追加することができます。
新規の JRE 定義を追加するには、次のようにします。
-
「Java」>「インストール済みの JRE」設定ページを開きます。
- 「追加...」ボタンを選択します。「JRE の作成」ダイアログが開きます。
- 「JRE タイプ」フィールドで、追加したい JRE の型をドロップダウン・リストから選択します。
- 「JRE 名」フィールドに、新しい JRE 定義の名前を入力します。同じ型の JRE はすべて固有の名前にしなければなりません。
- 「JRE のホーム・ディレクトリー」フィールドで、JRE インストールのルート・ディレクトリー (通常は、JRE の bin および lib ディレクトリーを含むディレクトリー) のパスを入力するか、または「参照」をクリックして選択します。このロケーションは、それが有効なパスであることを確認するために自動的に検査されます。
- JRE 用のデフォルトのライブラリーが、JRE システム・ライブラリー・リストに表示されます。必要に応じて、ライブラリーを変更できます。
- 参照された JAR のためのソースと Javadoc ロケーションを指定できます。
Javadoc ロケーションは、Javadoc エクスポート・ウィザードによってデフォルト値として使用され、また「外部 Javadoc を開く」アクションによって使用されます。
- JAR は、追加、除去、および再配列することができます。
- 終了したら、「OK」をクリックします。
Java 開発ツール (JDT)

JRE の操作
デフォルトの JRE をワークベンチへ割り当て

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