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()