| Opzione |
Descrizione |
|---|---|
| Aggiungi... |
Aggiunge una nuova definizione JRE al workbench. Nella finestra visualizzata, specificare quanto segue:
|
| Modifica... |
Consente di modificare il JRE selezionato. |
| Copy... | Creates a copy of the selected JRE with the same attributes and a new name. |
| Rimuovi | Rimuove dal workbench il JRE selezionato. |
| Ricerca... |
Ricerca automaticamente i JRE installati nel filesystem locale e crea definizioni di JRE corrispondenti nello spazio di lavoro. |