Fix deadlock when showing JML warnings dialog (#3692)

WolframPfeifer · web-flow · commit fd9bc6926a0a · 2025-12-03T16:03:09.000Z
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,7 @@ 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,7 @@ 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(() -> IssueDialog.showWarningsIfNecessary(mainWindow, warnings));`
`596`	`596`	`}`
`597`	`597`
`598`	`598`	`/**`