String.format(
"Translating %s from project space \"%s\" to \"%s\"",
codebaseToTranslate.getPath(), codebaseToTranslate.getProjectSpace(), toProjectSpace));
Codebase translatedCodebase =
translator.translate(codebaseToTranslate, translateOp.term.options, context);
// Don't mark the translated codebase for persistence if it wasn't allocated by the Translator.
if (translatedCodebase.equals(codebaseToTranslate)) {
AppContext.RUN.ui.popTask(translateTask, translatedCodebase.getPath() + " (unmodified)");
} else {