Revert "Spoofax/713"
Doesn't work with versions of Eclipse < 3.8

This reverts commit ea39c2ef6afb005dc49236bdd759b460c9f0d0be.