Xtext example used at JAX 2014