One last Xtext upgrade