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:
Java > Installed JREs preference page.
General >
Workspace preference page).
Aggiunta di una nuova definizione JRE
Scelta di un JRE per l'avvio di un progetto
Utilizzo di JRE