specify xtext version