JRE-Definition bearbeiten
Mit Ausnahme des JRE-Typs können Sie alle Einstellungen einer
JRE-Definition ändern.
-
Wählen Sie in der Menüleiste die Optionen Fenster > Benutzervorgaben aus.
-
Erweitern Sie die Kategorie Java im linken Teilfenster, und wählen Sie Installierte JREs aus.
-
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.
-
Bearbeiten Sie den Namen für die JRE-Definition im Feld
JRE-Name. Alle JREs desselben Typs müssen einen eindeutigen Namen haben.
-
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.
-
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.
-
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.
-
Klicken Sie
auf OK, wenn Sie alle gewünschten
Änderungen vorgenommen haben.
Java Development Tools (JDT)

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

Benutzervorgabenseite für installierte JREs