regenerated code from Xtend files