updated temporary workaround for Spoofax/812 with changes to selection provider