Do you have a second machine? Copy the wallet.dat file to that machine and try opening it.
Would that be the default_wallet file? If so I've tried that and the other electrum (on another machine) didn't seem to recognize that file as when I clicked file-open nothing happened.