*/
public class JPF_java_util_ResourceBundle extends NativePeer {
+ /*
+ TODO: Fix for Groovy's model-checking
+ TODO: We comment this out to suppress warnings
@MJI
public int getClassContext_____3Ljava_lang_Class_2 (MJIEnv env, int clsRef){
ThreadInfo ti = env.getThreadInfo();
}
return aRef;
- }
+ }*/
}