オプション |
説明 |
---|---|
追加... |
新規の JRE の定義をワークベンチに追加します。開いたダイアログで以下を指定します。
|
編集... |
選択した JRE を編集することができます。 |
コピー... | 選択した JRE と同じ属性および新しい名前を持つコピーを作成します。 |
除去 | 選択した JRE をワークベンチから除去します。 |
検索... |
ローカル・ファイル・システムにインストールされた JRE を自動的に検索し、対応する JRE 定義をワークスペースに作成します。 |