インストール済みの JRE の設定

以下の設定は、 「Java」 >「インストール済みの JRE」設定ページを使用して設定できます。

このページでは、新規の JRE インストールを追加するだけでなく、デフォルト JRE を選択することもできます。

オプション	説明
インストール済みの JRE	インストール済みの JRE の現在のリスト。ワークスペースのデフォルトとして振る舞う JRE を 1 つ選択できます。
追加...	新規の JRE の定義をワークベンチに追加します。
編集...	選択した JRE を編集することができます。
複製...	選択した JRE と同じ属性を使用した新規の JRE を作成します。
削除	選択した JRE をワークベンチから削除します。
検索...	ローカル・ファイル・システムにインストールされた JRE を自動的に検索し、対応する JRE 定義をワークスペースに作成します。