Now working with newer Spoofax and Sunshine