Recompiled with Xtext 2.5.4