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 page Ajout de JRE s'ouvre.
- Dans la
zone Type du 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. 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)
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
