From 129c22e229ce11e362e7764f7e726cec36aa3b25 Mon Sep 17 00:00:00 2001
From: Dave Parker <dave.x.parker@gmail.com>
Date: Tue, 9 Jun 2020 22:41:03 +0100
Subject: [PATCH] Compile fix for Java 14: Use static calls to Thread.yield().

---
 prism/src/userinterface/properties/GUIExperiment.java | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/prism/src/userinterface/properties/GUIExperiment.java b/prism/src/userinterface/properties/GUIExperiment.java
index 126d90c0..4f2fec83 100644
--- a/prism/src/userinterface/properties/GUIExperiment.java
+++ b/prism/src/userinterface/properties/GUIExperiment.java
@@ -367,12 +367,12 @@ public class GUIExperiment
 
 							// iterate to next property
 							undefinedConstants.iterateProperty();
-							yield();
+							Thread.yield();
 						}
 					}
 					// iterate to next model
 					undefinedConstants.iterateModel();
-					yield();
+					Thread.yield();
 				}
 
 				SwingUtilities.invokeAndWait(new Runnable()