在Windows 7上启动Alloy Analyzer时出现不可读的文本

Question

我尝试在

上启动Alloy Analyzer

Windows 7 Enterprise
Service Pack 1

并得到以下错误

D:\alloy>where java
C:\ProgramData\Oracle\Java\javapath\java.exe
C:\Windows\System32\java.exe

D:\alloy>java -version
java version "1.8.0_60"
Java(TM) SE Runtime Environment (build 1.8.0_60-b27)
Java HotSpot(TM) 64-Bit Server VM (build 25.60-b23, mixed mode)

D:\alloy>java -jar alloy4.2.jar
Okt 10, 2015 11:14:02 AM java.util.prefs.WindowsPreferences <init>
WARNING: Could not open/create prefs root node Software\JavaSoft\Prefs at root 0
x80000002. Windows RegCreateKeyEx(...) returned error code 5.

当我手动创建注册表项HKEY_LOCAL_MACHINE\Software\JavaSoft\Prefs或以管理员身份启动合金时，我可以避免出现错误消息。但是，打开一个带有不可读字符的窗口

我尝试了 alloy4.jar ，但显示了相同的行为。

我尝试了最新版本的合金（ alloy4.2_2015-02-22.jar ）并且它具有相同的行为，我收到了其他错误消息

D:\alloy>java -jar alloy4.2_2015-02-22.jar
Okt 10, 2015 11:14:02 AM java.util.prefs.WindowsPreferences <init>
WARNING: Could not open/create prefs root node Software\JavaSoft\Prefs at root 0
x80000002. Windows RegCreateKeyEx(...) returned error code 5.
Failed to load: minisat.dll
Failed to load: minisatprover.dll
Failed to load: lingeling.dll
Failed to load: glucose.dll
Failed to load: cryptominisat.dll

如何正确启动合金？

Answer 1

我找到了错误的原因。 第一次启动后配置的字体是 3 of 9 barcode 。这可以通过单击此菜单项（选项 - >字体）并选择适当的字体（例如， Arial字体。

Json.NET and Obfuscation, deserialization not working