Regenerated with latest Xtend