back to Xtext/Xtend 2.7.2