デフォルトの JRE をワークベンチへ割り当て
プロジェクトのビルド・パスまたは起動構成でデフォルト JRE を明示的に上書きしていないかぎり、すべてのプロジェクトの Java プログラムのコンパイルおよび起動でデフォルト JRE が使用されます。
デフォルトの JRE を変更する方法は以下のとおりです。
-
「Java」>「インストール済みの JRE」設定ページを開きます。
-
ワークベンチでデフォルト JRE として割り当てる JRE に対応した行のボックスにチェック・マークを付けます。デフォルトとして割り当てる JRE がリストにない場合は、JRE を追加する必要があります。
-
「OK」をクリックします。
自動ビルドを使用可能にしている (「プロジェクト」>「自動的にビルド」または
「一般」>「ワークスペース」設定ページ) 場合は、デフォルト JRE を変更するとビルドが行われることがあります。
Java 開発ツール (JDT)
新規 JRE 定義の追加
プロジェクトの起動用の JRE の選択
JRE の操作

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