Revert "remove extraneous condor checkpoint directives"
This reverts commit b4c2e436.
Apparently, not all of those directives were so extraneous after all.
This reverts commit b4c2e436.
Apparently, not all of those directives were so extraneous after all.