RESOLVED - bug 1: SANY throws NPE, if called with non-existent file  http://svc-lamport-2.northamerica.corp.microsoft.com:8080/show_bug.cgi?id=1
RESOLVED - bug 1: SANY throws NPE, if called with non-existent file 
http://svc-lamport-2.northamerica.corp.microsoft.com:8080/show_bug.cgi?id=1

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

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