Rebooting a server is an awfully strong solution.   Try looking for a file
with almost the same name, starting though with a ~ or ~$ replacing the first
few characters.  Look in the folder that the file is opened from.    Delete
that ~ file.  

You might have to set the Windows Explorer to view hidden files.