235236237238239240241242243244245
if (areaClone == null) { handleSaveError("Unable to clone area", area); continue; } areaClone.dropCore(); area.dropCore(); incSourceDocCounter(); incTargetDocCounter(); Iterator rootEntries = area.getRootEntries().iterator();