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

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

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

  1. 「インストール済みの JRE」設定ページを開くJava」>「インストール済みの JRE設定ページを開きます。
  2. ワークベンチでデフォルト JRE として割り当てる JRE に対応した行のボックスにチェック・マークを付けます。デフォルトとして割り当てる JRE がリストにない場合は、JRE を追加する必要があります。
  3. OK」をクリックします。
自動ビルドを使用可能にしている (「プロジェクト」>「自動的にビルド」または 「ワークスペース」設定ページ一般」>「ワークスペース設定ページ) 場合は、デフォルト JRE を変更するとビルドが行われることがあります。

関連概念

Java 開発ツール (JDT)

関連タスク

新規 JRE 定義の追加
プロジェクトの起動用の JRE の選択
JRE の操作

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