JRE 定義の編集

JRE の型を除く JRE 定義の設定はすべて変更することができます。

1.

メニュー・バーから、「ウィンドウ (Window)」>「設定 (Preferences)」>「Java」>「インストール済みの JRE (Installed JREs)」と選択します。

2.

編集する JRE 定義を選択し、「編集 (Edit)」ボタンをクリックします。

3.

「JRE を編集 (Edit JRE)」ダイアログが表示されます。

4.

JRE 名 (JRE Name)」フィールドで、JRE 定義の名前を編集します。タイプが同じであれば、すべての JRE は同じ名前を持つ必要があります。

5.

JRE のホーム・ディレクトリー (JRE Home Directory)」フィールドで、JRE のインストール・システムのルート・ディレクトリー (通常は、JRE の bin および lib ディレクトリーを含むディレクトリー) へのパスを編集するか、「ブラウズ (Browse)」をクリックして編集します。 このロケーションは、それが有効なパスであることを確認するために自動的に検査されます。

6.

デバッガー・タイムアウト (Debugger timeout)」フィールドには、この JRE との接続をデバッガーが待機する時間をミリ秒で編集します。

注: デバッガーは、VM と通信するときにこの値を使用します (たとえば、変数の値を取得する場合)。デバッグ中にタイムアウトになる場合は、この値を大きくしてください。 このタイムアウト値が使用されるのは、デバッガーが VM に接続した後だけです。デバッグ VM の起動には、何の影響も与えません。

7.

この JRE の JAR ファイルおよびソース・ファイルにデフォルトのライブラリーを使用する場合は、「デフォルトのライブラリーを使用 (Use default libraries)」ボックスにチェック・マークを付けたままにしておきます。 そうでない場合は、その選択を解除してこれら 2 つのファイルを入力するか、または「ブラウズ (Browse)」をクリックして選択します。

「JRE 定義のためのデフォルトのシステム・ライブラリーの指定変更」を参照

8.

終了した後「OK」をクリックします。