Upgrading/adapting fixes to Groovy 2.5.7 from Groovy 2.4.8.

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

diff --git a/src/classes/java/lang/Thread.java b/src/classes/java/lang/Thread.java
index 8c538f590e350434dcf5d59f688036036435b976..c9fff91678db92a20d0cbf473dd4cea5495e2bcd 100644 (file)
--- a/src/classes/java/lang/Thread.java
+++ b/src/classes/java/lang/Thread.java
@@ -71,7 +71,7 @@ public class Thread implements Runnable {
 
   // used to store Thread.stop() exceptions
   Throwable stopException;
-  
+
   private volatile UncaughtExceptionHandler uncaughtExceptionHandler; // null by default
 
   
@@ -144,8 +144,13 @@ public class Thread implements Runnable {
     init0(this.group, target, this.name, stackSize);
     
     initThreadLocals(cur);
+
+    // TODO: Fix for Groovy's model-checking
+    this.tid = this.getId();
   }
 
+  private long tid;
+
   // this takes care of ThreadInfo initialization
   native void init0 (ThreadGroup group, Runnable target, String name, long stackSize);