Use a fresh "home" every time Electrum is launched

[grayswandyr]

As of now, AA creates a temporary directory with always the same name for a given user. EA inherited from this.

It would be far better to use a fresh directory name at each time, otherwise interferences do happen.

It is set here:

Electrum/electrum/src/main/java/edu/mit/csail/sdg/alloy4whole/SimpleGUI.java

Line 590 in 085f5f0

private static synchronized String alloyHome() {

Apparently, the Java standard API proposes a method for this since Java 1.7.

[nmacedo]

But then it does create a unique folder within alloyhome() for each command:

Electrum/electrum/src/main/java/edu/mit/csail/sdg/alloy4whole/SimpleGUI.java

Line 612 in 085f5f0

private static String maketemp() {

Have you witnessed any interferences?

[grayswandyr]

Well I had solving engines that were only available if I ran AA before running EA for instance.
Perhaps just not using the Alloy default foler would be enough, event if it's not a new name each time.

[nmacedo]

I believe the missing solving engines were a different issue (also related to the temporary folder) that should have been fixed for some time now.