Regenerate with new Xtext release (change only the header)