在 Windows 上启动 Alloy 分析器时无法读取文本 7

Question

我尝试在

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 或以管理员身份启动 alloy 时出现错误消息。但是仍然会打开一个带有不可读字符的 windows

我试过 alloy4.jar 但结果是一样的。

我试了最新版的alloy (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

如何才能正确启动alloy？

Answer 1

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

在 Windows 上启动 Alloy 分析器时无法读取文本 7

Unreadable Text when starting Alloy Analyzer on Windows 7

java

windows

alloy