New spoofax libs again.