Regenerated with Xtext 2.4.3