"missing device"issue

[Matrix-H]

Hello, I encountered a "missing device" issue after entering the key. How can I resolve this? Thank you.

details of error:
"com.uppaal.engine.EngineCrashException: Error 422: missing device

at com.uppaal.engine.protocol.FragileResponse.validate(FragileResponse.java:21)
at com.uppaal.engine.protocol.JsonMessageParser.parse(JsonMessageParser.java:73)
at com.uppaal.engine.protocol.JsonMessageParser.parse(JsonMessageParser.java:42)
at com.uppaal.engine.protocol.JsonProtocol.getBasicResponse(JsonProtocol.java:461)
at com.uppaal.engine.protocol.JsonProtocol.getLeaseRequest(JsonProtocol.java:612)
at com.uppaal.engine.EngineStub.getLeaseRequest(EngineStub.java:598)
at com.uppaal.engine.Engine.lambda$getLeaseRequest$10(Engine.java:734)
at com.uppaal.engine.Engine.lambda$submit$8(Engine.java:654)
at java.base/java.util.concurrent.ThreadPoolExecutor.runWorker(ThreadPoolExecutor.java:1144)
at java.base/java.util.concurrent.ThreadPoolExecutor$Worker.run(ThreadPoolExecutor.java:642)
at java.base/java.lang.Thread.run(Thread.java:1583)
Caused by: com.uppaal.engine.EngineInvocationException: Concurrent execution encountered an exception
at com.uppaal.engine.Engine.submit(Engine.java:647)
at com.uppaal.engine.Engine.submitLicenseLess(Engine.java:637)
at com.uppaal.engine.Engine.getLeaseRequest(Engine.java:733)
at aq.n(Unknown Source)
at java.desktop/java.awt.event.InvocationEvent.dispatch(InvocationEvent.java:318)
at java.desktop/java.awt.EventQueue.dispatchEventImpl(EventQueue.java:773)
at java.desktop/java.awt.EventQueue$4.run(EventQueue.java:720)
at java.desktop/java.awt.EventQueue$4.run(EventQueue.java:714)
at java.base/java.security.AccessController.doPrivileged(AccessController.java:400)
at java.base/java.security.ProtectionDomain$JavaSecurityAccessImpl.doIntersectionPrivilege(ProtectionDomain.java:87)
at java.desktop/java.awt.EventQueue.dispatchEvent(EventQueue.java:742)
at java.desktop/java.awt.EventDispatchThread.pumpOneEventForFilters(EventDispatchThread.java:203)
at java.desktop/java.awt.EventDispatchThread.pumpEventsForFilter(EventDispatchThread.java:124)
at java.desktop/java.awt.EventDispatchThread.pumpEventsForHierarchy(EventDispatchThread.java:113)
at java.desktop/java.awt.EventDispatchThread.pumpEvents(EventDispatchThread.java:109)
at java.desktop/java.awt.EventDispatchThread.pumpEvents(EventDispatchThread.java:101)
at java.desktop/java.awt.EventDispatchThread.run(EventDispatchThread.java:90)

"

[thorulf4]

Hi, thanks for the report. Are you using Uppaal in a virtual machine of some kind?

[Matrix-H]

Thank you for your response! I'm not using a virtual machine; I extracted it in my C drive at C:\Program Files.

[thorulf4]

What version are you running on? We have recently fixed a cause of this bug see #225 (comment) for more details

[Matrix-H]

I downloaded Uppaal version 5.0.0 for Windows, and my Windows username does contain Chinese characters. I'll try version 5.1.0-beta4 now. Thank you for your help! I'll provide you with feedback after I download it again.

[Matrix-H]

Resolved the issue, thank you for your help！