regenerated with latest Xtend/Xtext