Edition d'une définition de JRE
Vous pouvez modifier toutes les valeurs d'une définition de JRE, à l'exception du type de JRE, en procédant comme
suit :
-
Dans la barre de menus, cliquez sur Fenêtre >
Préférences.
-
Dans la sous-fenêtre de
gauche, développez la catégorie Java et sélectionnez
JRE installés.
-
Sélectionnez la définition de JRE à modifier et cliquez sur Editer. La page Edition de JRE s'ouvre.
-
Dans la zone Nom du JRE, modifiez le nom de la 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, modifiez 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)
Ajout d'une définition JRE
Suppression d'une définition JRE
Remplacement des bibliothèques système par défaut pour une définition JRE
Gestion des environnements JRE

Page des préférences JRE
installés