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. Cet emplacement est utilisé par
l'assistant d'exportation Javadoc comme 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
