update Spoofax