Yuan fixed bug that made recovery from checkpoint not work if the name of the spec and other things had changed.
Yuan fixed bug that made recovery from checkpoint not work if the name of the spec and other things had changed.

git-svn-id: 7acc490bd371dbc82047a939b87dc892fdc31f59@16634 76a6fc44-f60b-0410-a9a8-e67b0e8fc65c

tlaplus/tlaplus,lemmy/tlaplus,lemmy/tlaplus,lemmy/tlaplus,tlaplus/tlaplus,tlaplus/tlaplus,lemmy/tlaplus,tlaplus/tlaplus