# we keep this empty file cause XtextVersion.readFromManifest will crash otherwise