Assegnazione del JRE predefinito per il workbench
The default JRE is used for compiling and launching Java programs in all projects
unless you specifically override the default JRE on a project's build path or
on a launch configuration.
Di seguito sono riportate le istruzioni per la modifica del JRE predefinito:
-
Open the
Java > Installed JREs preference page.
-
Selezionare la casella sulla riga del JRE che si desidera designare come
predefinito per il workbench.
Se il JRE desiderato non viene visualizzato nell'elenco, č necessario aggiungerlo.
-
Fare clic su OK.
Note: Changing the default JRE may cause a build to occur if
you have auto build enabled (Project > Build Automatically
or in the
General >
Workspace preference page).
JDT (Java development tools)
Aggiunta di una nuova definizione JRE
Scelta di un JRE per l'avvio di un progetto
Utilizzo di JRE

Pagina delle preferenze dei JRE installati