Ajout d'une définition JRE
Vous pouvez ajouter autant de définitions de JRE que vous le souhaitez, en procédant de la manière suivante :
-
Dans la barre de menus, sélectionnez Fenêtre >
Préférences.
-
Dans la sous-fenêtre de gauche,
développez la catégorie Java et sélectionnez JRE
installés.
-
Cliquez sur le
bouton Ajouter. La boîte de dialogue de création de JRE
s'ouvre.
-
Dans la zone Type de JRE, sélectionnez le type de JRE à
ajouter à partir de la liste déroulante.
-
Dans la zone Nom du JRE, saisissez
un nom pour la nouvelle définition de JRE. Les JRE de même type doivent
porter un nom différent.
-
Dans la
zone Répertoire racine du JRE,
saisissez le chemin d'accès au répertoire racine de l'installation
JRE ou cliquez sur Parcourir
pour sélectionner le chemin d'accès au répertoire racine
d'installation du JRE (il s'agit généralement du répertoire qui
contient les répertoires bin
et lib du JRE). Cet emplacement est vérifié automatiquement pour contrôler que le chemin d'accès est correct.
-
Dans la zone URL Javadoc,
saisissez l'emplacement de l'URL ou cliquez
sur Parcourir pour
sélectionner l'emplacement de l'URL. L'emplacement est utilisé
par l'assistant d'exportation Javadoc en tant que valeur par défaut et
par l'action 'Ouvrir un Javadoc externe'.
-
Pour utiliser les
bibliothèques par défaut et les fichiers source pour ce JRE, cochez
la case Utiliser les bibliothèques par défaut
du système. Ou bien décochez-la
et choisissez les bibliothèques voulues. La
source peut être également connectée pour les fichiers JAR
référencés.
-
Lorsque
vous avez terminé, cliquez sur OK.
Outils de développement Java (JDT)
Gestion des environnements JRE
Définition de l'environnement JRE par défaut
du plan de travail
Edition d'une définition de JRE
Remplacement des bibliothèques système par défaut pour une définition JRE

Page des préférences JRE
installés