Fatal error has occurred

[Francesco-Vinci]

Opening the jar deliverable on windows 11 this happens:

Executing it from cmd this is the outcome:

Exception: class java.nio.file.InvalidPathException Message: java.nio.file.InvalidPathException: Illegal char <"> at index 0: "C:\Windows Stacktrace: class java.nio.file.InvalidPathException: Illegal char <"> at index 0: "C:\Windows java.base/sun.nio.fs.WindowsPathParser.normalize(WindowsPathParser.java:182) java.base/sun.nio.fs.WindowsPathParser.parse(WindowsPathParser.java:153) java.base/sun.nio.fs.WindowsPathParser.parse(WindowsPathParser.java:77) java.base/sun.nio.fs.WindowsPath.parse(WindowsPath.java:92) java.base/sun.nio.fs.WindowsFileSystem.getPath(WindowsFileSystem.java:232) java.base/java.nio.file.Path.of(Path.java:148) java.base/java.nio.file.Paths.get(Paths.java:69) edu.mit.csail.sdg.alloy4whole.PreferencesDialog.staticLibrary(PreferencesDialog.java:349) edu.mit.csail.sdg.alloy4whole.PreferencesDialog.testSolvers(PreferencesDialog.java:294) edu.mit.csail.sdg.alloy4whole.PreferencesDialog.<init>(PreferencesDialog.java:264) edu.mit.csail.sdg.alloy4whole.SimpleGUI.finishInit(SimpleGUI.java:2277) edu.mit.csail.sdg.alloy4whole.SimpleGUI.<init>(SimpleGUI.java:2133) edu.mit.csail.sdg.alloy4whole.SimpleGUI.<init>(SimpleGUI.java:201) edu.mit.csail.sdg.alloy4whole.SimpleGUI$7.run(SimpleGUI.java:1987) java.desktop/java.awt.event.InvocationEvent.dispatch(InvocationEvent.java:318) java.desktop/java.awt.EventQueue.dispatchEventImpl(EventQueue.java:773) java.desktop/java.awt.EventQueue$4.run(EventQueue.java:720) java.desktop/java.awt.EventQueue$4.run(EventQueue.java:714) java.base/java.security.AccessController.doPrivileged(AccessController.java:400) java.base/java.security.ProtectionDomain$JavaSecurityAccessImpl.doIntersectionPrivilege(ProtectionDomain.java:87) java.desktop/java.awt.EventQueue.dispatchEvent(EventQueue.java:742) java.desktop/java.awt.EventDispatchThread.pumpOneEventForFilters(EventDispatchThread.java:203) java.desktop/java.awt.EventDispatchThread.pumpEventsForFilter(EventDispatchThread.java:124) java.desktop/java.awt.EventDispatchThread.pumpEventsForHierarchy(EventDispatchThread.java:113) java.desktop/java.awt.EventDispatchThread.pumpEvents(EventDispatchThread.java:109) java.desktop/java.awt.EventDispatchThread.pumpEvents(EventDispatchThread.java:101) java.desktop/java.awt.EventDispatchThread.run(EventDispatchThread.java:90)