Yes. They are false positives. The only "good" anti virus in that list is Kaspersky and they are tagging the file with the virus "not-a-virus:NetTool.Win32.TorJok.afe".

If you really want to be safe, verify the integrity of the files by following this guide: https://steemit.com/bitcoin/@jklepatch/how-to-verify-the-integrity-of-electrum-wallet-executable-on-windows

---

P.s: The version 3.1.1 is available.