#43 NullPointerException

[Thomas Richter]

got a NPE
----------------------------------- error: uncaught
exception
java.lang.NullPointerException
at gov.nasa.jpf.jvm.MJIEnv.getClassInfo(MJIEnv.java:615)
at
gov.nasa.jpf.jvm.ThreadInfo.printStackTrace(ThreadInfo.java:1357)
at
gov.nasa.jpf.jvm.ExceptionInfo.printOn(ExceptionInfo.java:51)
at
gov.nasa.jpf.jvm.NoUncaughtExceptionsProperty.printOn(NoUncaughtExceptionsProperty.java:54)
at
gov.nasa.jpf.search.PropertyMulticaster.printOn(PropertyMulticaster.java:113)
at gov.nasa.jpf.Error.printOn(Error.java:63)
at gov.nasa.jpf.search.Search.error(Search.java:252)
at
gov.nasa.jpf.search.Search.isPropertyViolated(Search.java:137)
at
gov.nasa.jpf.search.Search.hasPropertyTermination(Search.java:126)
at gov.nasa.jpf.search.DFSearch.search(DFSearch.java:89)
at gov.nasa.jpf.JPF.run(JPF.java:332)
at gov.nasa.jpf.JPF.main(JPF.java:263)