Selection provider refactoring: now there's only one selection provider (the spoofax one). Before there were two (the spoofax one and the jface one).