use xtext and xtend sdk