GUI freezes and throws exception on model dialogs

[merkste]

From time to time the GUI freezes on opening or closing a modal dialog, e.g., Graph options, and an exception is logged to the console, see error.log. The problem can only be resolved by restarting PRISM. Unfortunately, I cannot trigger the bug purposely. It might be the case that it is caused by the underlying OS-specific Java code. I use JDK11 on MacOS 11.3.

[davexparker]

Thanks @merkste. Googling suggest that this is a Java bug, now fixed in Java 13 (but presumably not in Java 11):

https://bugs.openjdk.java.net/browse/JDK-8215200

[merkste]

Interesting, I didn't find that one. I'll test it with JDK 15 (14 is not available on my system) for some days.

[merkste]

I testet it for a while now with Java 13, 15 and 16. It did not show up. Maybe we can raise the minimum version to 13 and then close the issue?