JRE-Definition bearbeiten


Mit Ausnahme des JRE-Typs können Sie alle Einstellungen einer JRE-Definition ändern.

  1. Wählen Sie in der Menüleiste die Optionen Fenster > Benutzervorgaben aus.
  2. Erweitern Sie die Kategorie Java im linken Teilfenster, und wählen Sie Installierte JREs aus.
  3. Wählen Sie die JRE-Definition aus, die Sie bearbeiten wollen, und klicken Sie auf die Schaltfläche Bearbeiten.... Die Seite 'JRE bearbeiten' wird geöffnet.
  4. Bearbeiten Sie den Namen für die JRE-Definition im Feld JRE-Name. Alle JREs desselben Typs müssen einen eindeutigen Namen haben.
  5. Bearbeiten Sie im Feld JRE-Ausgangsverzeichnis den Pfad für das Stammverzeichnis der JRE-Installation (normalerweise das Verzeichnis mit den Verzeichnissen bin und lib für die JRE), oder klicken Sie auf Durchsuchen, um den Pfad auszuwählen. Es wird automatisch überprüft, ob es sich bei dieser Position um einen gültigen Pfad handelt.
  6. Bearbeiten Sie im Feld Javadoc-URL die URL-Position, oder wählen Sie sie aus, indem Sie auf Durchsuchen klicken. Diese Position wird standardmäßig vom Javadoc-Exportassistenten sowie bei der Aktion 'Externe Javadoc öffnen' verwendet.
  7. Wenn Sie die Standardbibliotheken und Quellendateien für diese JRE verwenden wollen, wählen Sie das Markierungsfeld Standardsystembibliotheken verwenden aus. Anderenfalls wählen Sie das Markierungsfeld ab und nehmen die gewünschten Anpassungen vor. Außerdem kann für die JAR-Dateien, auf die verwiesen wird, eine Quelle zugeordnet werden.
  8. Klicken Sie auf OK, wenn Sie alle gewünschten Änderungen vorgenommen haben.

Verwandte Konzepte
Java Development Tools (JDT)

Verwandte Tasks
Neue JRE-Definition hinzufügen
JRE-Definition löschen
Standardsystembibliotheken für JRE-Definition überschreiben
Mit JREs arbeiten

Verwandte Referenz
Benutzervorgabenseite für installierte JREs