recompiled with Xtext 2.4.3