オプション |
説明 |
---|---|
追加 ... |
新規の JRE の定義をワークベンチに追加します。開いたダイアログで以下を指定します。
「ブラウズ」ボタンをクリックすると、パスをブラウズすることができます。 |
編集... |
選択した JRE を編集することができます。 |
除去 | 選択した JRE をワークベンチから除去します。 |
検索... |
ローカル・ファイル・システムにインストールされた JRE を自動的に検索し、対応する JRE 定義をワークスペースに作成します。 |