| Option |
Description |
|---|---|
| Ajouter |
Permet d'ajouter une nouvelle définition de JRE au plan de travail. Dans la boîte de dialogue qui s'affiche, indiquez les informations suivantes :
|
| Editer |
Permet de modifier le JRE sélectionné. |
| Copier... | Crée une copie du JRE sélectionné avec les mêmes attributs mais sous un nouveau nom. |
| Supprimer | Permet de supprimer le JRE sélectionné du plan de travail. |
| Recherche |
Recherche automatiquement les JRE installés dans le système de fichiers local et crée les définitions JRE correspondantes dans l'espace de travail. |
Gestion des environnements JRE