added some logging for the getResolvedClassInfo() chain, including a log record that shows from where classfiles actually get loaded. This is enabled by setting "log.finer=gov.nasa.jpf.jvm.ClassInfo". Be aware of that it prints out a lot of stuff, but it can help to see from where classes get loaded in case you encounter a NoClassInfoException
added some logging for the getResolvedClassInfo() chain, including a log record that shows from where classfiles actually get loaded. This is enabled by setting "log.finer=gov.nasa.jpf.jvm.ClassInfo". Be aware of that it prints out a lot of stuff, but it can help to see from where classes get loaded in case you encounter a NoClassInfoException

grzesuav/gjpf-core,grzesuav/gjpf-core