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:
    
    
      - 
        Open the
        
         Java > Installed JREs 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.
      
- 
        Click 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). 
   
      Java development tools (JDT)
    
      Working with JREs
 General > 
Workspace preference page). 
   
      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