I've mistakenly overwritten a file I was working on in Eclipse. Now I'm getting a message saying
Resource out of synch with the filesystem
and suggesting I refresh with F5. Can I, instead of refreshing, get that "resource"? It would mean restoring my accidentally-overwritten file...