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

プロジェクトのビルド・パスまたは起動構成で、明示的にデフォルト JRE を上書きしていない限り、すべてのプロジェクトの Java プログラムのコンパイルおよび起動でデフォルト JRE が使用されます。

デフォルトの JRE を変更する方法は以下のとおりです。

「Java」>「インストール済みの JRE」設定ページを開きます。
ワークベンチでデフォルト JRE として割り当てる JRE に対応した行のボックスにチェック・マークを付けます。デフォルトとして割り当てる JRE がリストにない場合は、JRE を追加する必要があります。
「OK」をクリックします。

自動ビルドを使用可能にしている (「プロジェクト」>「自動的にビルド」または「ワークスペース」設定ページ

「一般」>「ワークスペース」設定ページ) 場合は、デフォルト JRE を変更するとビルドが行われることがあります。