diff --git a/de.prob.ui/src/de/prob/ui/ltl/LtlCheckingJob.java b/de.prob.ui/src/de/prob/ui/ltl/LtlCheckingJob.java
index b4ec10349fd06183643c4b6eacfcc128c3688600..85b1420774409b4506cf1304b7f18e75a56093ab 100644
--- a/de.prob.ui/src/de/prob/ui/ltl/LtlCheckingJob.java
+++ b/de.prob.ui/src/de/prob/ui/ltl/LtlCheckingJob.java
@@ -70,7 +70,7 @@ public final class LtlCheckingJob extends Job {
 	}
 
 	private Result doSomeModelchecking() throws ProBException {
-		return LtlCheckingCommand.modelCheck(animator, formula, 500, option);
+		return LtlCheckingCommand.modelCheck(animator, formula, -1, option); // this used to be 500 instead of -1, but currently the Java side does not seem to cope with the LTL model checker returning; -1 means no maximum value
 	}
 
 	private boolean setSymmetry() {