Xtext 2.7.2 checks