Regenerated EditorService-pretty.pp
Merge branch 'master' of https://github.com/metaborg/spoofax
Merge branch 'master' into core