Modifica di una definizione JRE
È possibile modificare tutte le impostazioni relative a una definizione JRE, ad eccezione del
tipo JRE.
-
Dalla barra dei menu, selezionare Finestra > Preferenze.
-
Nel riquadro a sinistra, espandere la categoria Java e selezionare JRE installati.
-
Selezionare la definizione JRE da modificare e fare clic su Modifica.... Si apre la pagina Modifica JRE.
-
Nel campo Nome JRE:, modificare il nome per la definizione JRE. Tutti i JRE dello stesso tipo devono avere un nome unico.
-
Nel campo Directory home JRE:, modificare il percorso della directory principale dell'installazione JRE (in genere la directory contenente le directory bin e lib
del JRE) o fare clic su Sfoglia... per selezionare il percorso. Questo percorso viene controllato automaticamente per
verificare che si tratti di un percorso valido.
-
Nel campo URL Javadoc, modificare il percorso URL o fare clic su Sfoglia... per selezionare il percorso URL. Il percorso viene utilizzato dall'esportazione guidata Javadoc come valore predefinito e dall'azione 'Apri Javadoc esterno'.
-
Se si desidera utilizzare le librerie e i file di origine predefiniti per questo
JRE, selezionare la casella di controllo Utilizza librerie di sistema predefinite.
Altrimenti, deselezionarla e personalizzare le impostazioni. L'origine può essere associata anche per i JAR a cui si fa riferimento.
-
Una volta completata l'operazione, scegliere OK.
JDT (Java development tools)

Aggiunta di una nuova definizione JRE
Eliminazione di una definizione JRE
Sostituzione delle librerie di sistema predefinite per una definizione JRE
Utilizzo di JRE

Pagina delle preferenze dei JRE installati