デフォルトの JRE をワークベンチへ割り当て
デフォルト JRE を明示的にオーバーライドしていない限り、すべてのプロジェクトの Java プログラムのコンパイルおよび起動でデフォルト JRE が使用されます。
デフォルトの JRE は、JRE_LIB、JRE_SRC、および JRE_SRCROOT のバインド先となるインストール済みの JRE です。
JRE_LIB 変数がビルド・パスから除去された場合、プロジェクトはデフォルト JRE でコンパイルされません。
プロジェクトにカスタム・ランタイム JRE が設定されている場合、プログラムはデフォルトの JRE では起動されません。
デフォルトの JRE を変更する方法は以下のとおりです。
-
ワークベンチのメニュー・バーで「ウィンドウ」>「設定」と選択します。
-
左側のペインで「Java」カテゴリーを展開して、「インストール済みの JRE」を選択します。
-
ワークベンチでデフォルト JRE として割り当てる JRE に対応した行のボックスにチェック・マークを付けます。
デフォルトとして割り当てる JRE がリストにない場合は、JRE を追加する必要があります。
-
「OK」をクリックします。
注: デフォルトの JRE を変更すると、JRE_LIB、JRE_SRC、および JRE_SRCROOT システム変数が自動的に更新されます。
自動ビルドを使用可能にしている場合は、(「プロジェクト」>「自動的にビルド」または
「ウィンドウ」>「設定」>「一般」>「ワークスペース」>「自動的にビルド」) によりビルドが行われることがあります。
Java 開発ツール (JDT)
新規 JRE 定義の追加
プロジェクトの起動用の JRE の選択
ビルド・パスの操作
JRE の操作

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