Document virtuoso crash recovery procedure