exported internal package (de.prob.ui.eventb.internal.TranslatorFactory
needed for loading an Event-B model from external plugin)