diff --git a/de.prob.core/src/de/prob/exceptions/ProBException.java b/de.prob.core/src/de/prob/exceptions/ProBException.java
index 0b31e6a42d165a7c308460cf5f7881f898307383..79e6f3b3b1bc20d18f934b5ab864e56c063b1c49 100644
--- a/de.prob.core/src/de/prob/exceptions/ProBException.java
+++ b/de.prob.core/src/de/prob/exceptions/ProBException.java
@@ -23,7 +23,7 @@ public abstract class ProBException extends Exception {
 	}
 
 	public ProBException(final Throwable e) {
-		this(e.getLocalizedMessage(), e, true);
+		this(e.getLocalizedMessage(), e, false);
 	}
 
 	public ProBException(final String message, final Throwable e,