fix IllegalMonitorException

KeYProject · Dec 3, 2023 · 5e1b4f6 · 5e1b4f6
1 parent 4c6d795
commit 5e1b4f6
Showing 1 changed file with 7 additions and 1 deletion.
diff --git a/key.ui/src/main/java/de/uka/ilkd/key/ui/MediatorProofControl.java b/key.ui/src/main/java/de/uka/ilkd/key/ui/MediatorProofControl.java
@@ -171,6 +171,7 @@ private class AutoModeWorker extends SwingWorker<ApplyStrategyInfo, Object> {
         private final ImmutableList<Goal> goals;
         private final ApplyStrategy applyStrategy;
         private ApplyStrategyInfo info;
+        private final ReentrantLock lock;
         private final Condition ready;
 
         public AutoModeWorker(final Proof proof, final ImmutableList<Goal> goals,
@@ -189,7 +190,8 @@ public AutoModeWorker(final Proof proof, final ImmutableList<Goal> goals,
                 applyStrategy.addProverTaskObserver(ui.getMediator().getAutoSaver());
             }
 
-            ready = new ReentrantLock().newCondition();
+            lock = new ReentrantLock();
+            ready = lock.newCondition();
         }
 
         @Override
@@ -209,7 +211,11 @@ protected void done() {
                     applyStrategy.clear();
                 }
                 ui.getMediator().finishAutoMode(proof, true, true, null);
+
+                lock.lock();
                 ready.signalAll();
+                lock.unlock();
+
                 emitInteractiveAutoMode(initialGoals, proof, info);
 
                 if (info.getException() != null) {