Update SPAD code to use latest Xtext version