I deleted the “jdbgmgr.exe,” after I was informed it was a virus. I also emptied my waste basket. How do I restore these now that I know they are legit operations files? They were the files mented in a virus hoax that is currently going around…