434435436437438439440441442443444
if (ctClone == null) { handleSaveError("Unable to clone content type.", ct); continue; } ctClone.dropCore(); ct.dropCore(); incSourceDocCounter(); incTargetDocCounter(); }