Cleaning up and fixing bugs; new DPOR implementation seems to be correct; need to...

[jpf-core.git] / src / classes / java / lang / Throwable.java

diff --git a/src/classes/java/lang/Throwable.java b/src/classes/java/lang/Throwable.java
index ff19d976bf128d3762f35651c3372c57b9e4733e..719149cf91f482d386ea677781ff3869780cf2ef 100644 (file)
--- a/src/classes/java/lang/Throwable.java
+++ b/src/classes/java/lang/Throwable.java
@@ -44,7 +44,7 @@ public class Throwable {
     } catch (ClassNotFoundException e) {
       throw new NoClassDefFoundError("java.lang.StackTraceElement");
     }
-     
+    cause = this;
     fillInStackTrace();
   }