Wallets are not encrypted by default in the Bitcoin-QT client. They are with Electrum. So it depends on which desktop client he was using.