Stub for Spoofax 1.3 release.