Il JRE predefinito viene utilizzato per la compilazione e l'avvio di programmi Java in tutti i progetti, a meno che non venga specificamente sovrascritta la scelta del JRE predefinito mediante l'eliminazione della variabile JRE-LIB dal percorso di build o venga impostato un JRE di run-time personale per un progetto specifico.
Argomenti correlati:
1. |
Dalla barra dei menu, selezionare Finestra > Preferenze > Java > JRE installati. |
2. |
Selezionare la casella corrispondente alla riga del JRE che si desidera assegnare come predefinito al workbench. Se il JRE da assegnare come predefinito non è presente nell'elenco, sarà prima necessario aggiungerlo. Vedere la sezione Aggiunta della definizione di un nuovo JRE |
3. |
Fare clic su OK. |
Nota: le variabili di sistema JRE_LIB, JRE_SRC e JRE_SRCPATH vengono automaticamente aggiornate quando si cambia il JRE predefinito. Ciò potrebbe determinare la creazione di una build quando l'opzione di build automatica è abilitata (Finestra > Preferenze > Workbench). Un'anteprima dei nuovi valori viene visualizzata nella parte inferiore della pagina delle preferenze dei JRE installati.