String () { VirtualFile originalFile = getOriginalFile(); String fileText = originalFile == null ? ("deleted in previous session (file id = " + myFileId + ")") : originalFile.toString(); return "invalidated file :" + fileText; }