Yes that is the main client it sounds like.  Sadly a lot of the virus/malware target the wallet file. 

I'm sorry to hear it was such a costly lesson.  In future keep cold storage, and encrypt it.    In a perfect world we would not need to but sadly there are a lot of "bad guys" out there.