Assigning the default JRE for the 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.
Here is how you can change the default JRE:
Note: Changing the default JRE may cause a build to occur if
you have auto build enabled (Project > Build Automatically
or in the
Workspace preference page).
Java > Installed JREs preference page.
Check the box on the line for the JRE that you want to assign as the default JRE in your workbench.
If the JRE you want to assign as the default does not appear in the list, you must add it.
Java development tools (JDT)
Working with JREs
Adding a new JRE definition
Deleting a JRE definition
Choosing a JRE for launching a project
Installed JREs preference page