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 :

  1. Dans la barre de menus, cliquez sur Fenêtre > Préférences.
  2. Dans la sous-fenêtre de gauche, développez la catégorie Java et sélectionnez JRE installés.
  3. Sélectionnez la définition de JRE à modifier et cliquez sur Editer. La page Edition de JRE s'ouvre.
  4. 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.
  5. 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.
  6. 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'.
  7. 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.
  8. Lorsque vous avez terminé, cliquez sur OK.

Concepts connexes
Outils de développement Java (JDT)

Tâches connexes
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

Référence connexe
Page des préférences JRE installés

Copyright (c) 2000, 2003 IBM Corporation and others. All Rights Reserved.