Upgrading/adapting fixes to Groovy 2.5.7 from Groovy 2.4.8.

[jpf-core.git] / src / peers / gov / nasa / jpf / vm / JPF_java_lang_Thread.java

diff --git a/src/peers/gov/nasa/jpf/vm/JPF_java_lang_Thread.java b/src/peers/gov/nasa/jpf/vm/JPF_java_lang_Thread.java
index 11362aa9623a2c39142cd68fd0761e065d77ae89..7533a9aa6d2fcb3e25cce24800e8f6bff16dd6d4 100644 (file)
--- a/src/peers/gov/nasa/jpf/vm/JPF_java_lang_Thread.java
+++ b/src/peers/gov/nasa/jpf/vm/JPF_java_lang_Thread.java
@@ -42,7 +42,8 @@ public class JPF_java_lang_Thread extends NativePeer {
   public void init0__Ljava_lang_ThreadGroup_2Ljava_lang_Runnable_2Ljava_lang_String_2J__V (MJIEnv env,
                          int objRef, int groupRef, int runnableRef, int nameRef, long stackSize) {
     VM vm = env.getVM();
-    
+
+    // TODO: Fix for Groovy's model-checking
     // we only need to create the ThreadInfo - its initialization will take care
     // of proper linkage to the java.lang.Thread object (objRef)
     vm.createThreadInfo( objRef, groupRef, runnableRef, nameRef);