(mwe2) Replace a deprecated fragment by a newer (Xtext 2.4.3)