| Option |
Beschreibung |
|---|---|
| Hinzufügen... |
Fügt der Workbench eine neue JRE-Definition hinzu. Geben Sie im aufgerufenen Dialog Folgendes an:
|
| Bearbeiten... |
Über diese Option können Sie die ausgewählte JRE bearbeiten. |
| Kopieren... | Erstellt eine Kopie der ausgewählten JRE mit den gleichen Attributen und einem neuen Namen. |
| Entfernen | Entfernt die ausgewählte JRE aus der Workbench. |
| Suchen... |
Sucht automatisch im lokalen Dateisystem nach installierten JREs und erstellt im Arbeitsbereich entsprechende JRE-Definitionen. |