Fix deadlock when showing JML warnings dialog

FliegendeWurst · FliegendeWurst · commit 1c76f673f62d · 2025-12-02T13:57:35.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,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`	`/**`