ClassInfo.getResolvedClassInfo() should actually check if the class name from the classfile equals the requested class name. Otherwise we don't detect a misconfiguration such as "bin/jpf +classpath=bin/x/y/z MyClass" that should have read " .. +classpath=bin x.y.z.MyClass" - thanks Jonathan
ClassInfo.getResolvedClassInfo() should actually check if the class name from the classfile equals the requested class name. Otherwise we don't detect a misconfiguration such as "bin/jpf +classpath=bin/x/y/z MyClass" that should have read " .. +classpath=bin x.y.z.MyClass" - thanks Jonathan

grzesuav/gjpf-core,grzesuav/gjpf-core