Fix deadlock when showing JML warnings dialog

FliegendeWurst · FliegendeWurst · commit 5e877bd987a0 · 2025-12-01T17:04:46.000+01:00
diff --git a/key.ui/src/main/java/de/uka/ilkd/key/gui/WindowUserInterfaceControl.java b/key.ui/src/main/java/de/uka/ilkd/key/gui/WindowUserInterfaceControl.java
@@ -592,7 +592,9 @@ public void notify(NotificationEvent event) {
 
     @Override
     public void reportWarnings(ImmutableSet<PositionedString> warnings) {
-        IssueDialog.showWarningsIfNecessary(mainWindow, warnings);
+        SwingUtilities.invokeLater(() ->
+            IssueDialog.showWarningsIfNecessary(mainWindow, warnings)
+        );
     }
 
     /**

Original file line number	Diff line number	Diff line change
`@@ -592,7 +592,9 @@ public void notify(NotificationEvent event) {`
`592`	`592`
`593`	`593`	`@Override`
`594`	`594`	`public void reportWarnings(ImmutableSet<PositionedString> warnings) {`
`595`		`- IssueDialog.showWarningsIfNecessary(mainWindow, warnings);`
	`595`	`+ SwingUtilities.invokeLater(() ->`
	`596`	`+ IssueDialog.showWarningsIfNecessary(mainWindow, warnings)`
	`597`	`+ );`
`596`	`598`	`}`
`597`	`599`
`598`	`600`	`/**`