Switching between Eclipse workspaces causes Spoofax projects to stop working.

1. Let workspaces A and B exist and contain at least one Spoofax project each.
2. Let workspace A be the current workspace of a running Eclipse instance.
3. Confirm that Spoofax works by opening a .str file.
4. Switch to workspace B by File > Switch workspace.
5. Confirm that Spoofax does not work by opening a .str file.
6. Confirm that a soft-restart (File > Restart) does not help.
7. Confirm that hard-restart (quit and start Eclipse) resolves the issue.

Submitted by Vlad Vergu on 5 November 2013 at 14:29

This seems to be an Eclipse bug. When I start Eclipse and check the startup parameters in the installation details, it uses the following VM:

-vm
/Library/Java/JavaVirtualMachines/jdk1.7.0_17.jdk

after switching workspaces it uses:

-vm
/System/Library/Frameworks/JavaVM.framework

which is a Java 6 vm on OSX. Spoofax requires Java 7 so Eclipse decides to silently not load it (thank you Eclipse for that sane behaviour).

There is an Eclipse bug report for it, and it seems to be fixed in Kepler: https://bugs.eclipse.org/bugs/show_bug.cgi?id=396552

Indeed, this issue does not occur in Kepler