I had a file that wouldn't go away when I "emptied" the trash. I found that if I opened the trash and right clicked the offending file there was a "empty trash" menu option in the context ...