Preferences create Warning on Windows

bmoth-mc / bmoth

Model Checker for (a subset of) classical B based on Z3

MIT License

9 stars 1 forks source link

Preferences create Warning on Windows #63

Closed Lunnaris01 closed 7 years ago

Lunnaris01 commented 7 years ago

Mai 12, 2017 5:54:44 PM java.util.prefs.WindowsPreferences WARNING: Could not open/create prefs root node Software\JavaSoft\Prefs at root 0x80000002. Windows RegCreateKeyEx(...) returned error code 5.

When starting the App.

wysiib commented 7 years ago

Apparently, the issue is caused by the JDK / JRE. See Stackoverflow.

I just checked on Windows and preferences work as intended despite the warning. Thus, I'm closing the issue as wontfix as it has to be fixed upstream.