PROBCORE-621 Added dummy component with a toString method so that getMainComponent() does not return null when loading from an .eventb file.