spoofax stable