Convert to Spoofax editor.