X-Git-Url: http://plrg.eecs.uci.edu/git/?p=jpf-core.git;a=blobdiff_plain;f=src%2Fmain%2Fgov%2Fnasa%2Fjpf%2Fvm%2FClassLoaderInfo.java;h=dec242358d124d16318d35659c517bc6fdd1faf4;hp=07fbf5fe3a1564b4e244dd6bcd6acff2b2ae87ce;hb=e6b512b8180176104b22dfbd2eb23aefab7b49d6;hpb=a9bc9081ebda74eb6ee5451d2b719405db3a955c

diff --git a/src/main/gov/nasa/jpf/vm/ClassLoaderInfo.java b/src/main/gov/nasa/jpf/vm/ClassLoaderInfo.java
index 07fbf5f..dec2423 100644
--- a/src/main/gov/nasa/jpf/vm/ClassLoaderInfo.java
+++ b/src/main/gov/nasa/jpf/vm/ClassLoaderInfo.java
@@ -585,7 +585,12 @@ public class ClassLoaderInfo
           }          
         }
       }
-      
+      // TODO: Fix for Groovy's model-checking
+      // TODO: May need to do a recursive lookup
+      if (parent != null) {
+        return parent.loadClass(typeName);
+      }
+
       // initiate the roundtrip & bail out
       pushloadClassFrame(typeName);
       throw new LoadOnJPFRequired(typeName);