updated with changed Spoofax interfaces. Passed observer = null because it's not needed.