Ajout d'une définition JRE
Votre espace de travail peut contenir autant de définitions JRE que vous
le souhaitez. Vous pouvez aussi y ajouter le nombre de définitions JRE de
votre choix.
Pour ajouter une nouvelle définition JRE :
- Ouvrez la page des préférences
Java >
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.
- Les bibliothèques par défaut s'affichent pour le JRE dans les
bibliothèques système JRE.
Vous pouvez modifier les bibliothèques.
- Vous pouvez préciser les emplacements source et javadoc pour les
JAR référencés.
L'emplacement Javadoc est utilisé par l'assistant d'exportation Javadoc
en tant que valeur par défaut et par l'action 'Ouvrir un Javadoc externe'.
- Les fichiers d'archive Jar peuvent être ajoutés, supprimés et
réorganisé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

Page des préférences JRE
installés