Eclipse, workspaces and JREs

Be aware that installed JREs are workspace specific.

IE. Your default JRE might be the MyEclipse 6.0.

You install and add Java 1.5 JRE and make this your default.

Then three months later you create a new workspace.

Low and behold this new workspace does not know about the 1.5 JRE.