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, sélectionnez Fenêtre > Préférences > Java > JRE installés.

2.

Sélectionnez la définition de JRE que vous voulez modifier et cliquez sur le bouton Editer.

3.

La boîte de dialogue Edition de JRE apparaît.

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, indiquez le nouveau 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), ou cliquez sur Parcourir pour pouvoir le sélectionner. Cet emplacement est vérifié automatiquement pour contrôler que le chemin d'accès est correct.

6.

Dans la zone Délai d'expiration du débogueur (ms), indiquez (en millisecondes) le nouveau délai pendant lequel le débogueur peut attendre une connexion à ce JRE.

Remarque : le débogueur utilise cette valeur lorsqu'il communique avec une VM (par exemple, pour obtenir les valeurs des variables). Si vous constatez des dépassements de délai d'attente lors du débogage, augmentez cette valeur. Cette valeur n'est utilisée que lorsque le débogueur a établi une connexion avec la VM, et n'a pas d'effet sur le lancement de la VM de débogage.

7.

Si vous voulez utiliser les bibliothèques par défaut pour les fichiers JAR et source pour ce JRE, assurez-vous que la case Utiliser la bibliothèque par défaut est cochée. Sinon, désélectionnez-la et indiquez ces deux fichiers ou cliquez sur Parcourir pour pouvoir les sélectionner.

Pour plus de détails, reportez-vous à la rubrique Remplacement des bibliothèques système par défaut pour une définition JRE.

8.

Lorsque vous avez terminé, cliquez sur OK.