An Xtext Example