Summary: | Java UI client not responds to keyboard every few minutes since starup | ||
---|---|---|---|
Product: | UPPAAL CORA | Reporter: | Patrick Pan <pyxchina92929> |
Component: | Verification Engine | Assignee: | Marius Mikučionis <marius> |
Status: | RESOLVED INVALID | ||
Severity: | trivial | CC: | marius |
Priority: | P2 | ||
Version: | unspecified | ||
Hardware: | PC | ||
OS: | Linux | ||
Architecture: |
Description
Patrick Pan
2010-08-06 04:05:10 CEST
taking over I could not reproduce it, perhaps it has been solved in newer version. We are using Java8 now. Feel free to reopen if the issue persists. |