Ok, removendo a versao spoofax