Searched on Google with the first line of a JAVA stack trace?

We can recommend more relevant solutions and speed up debugging when you paste your entire stack trace with the exception message. Try a sample exception.

Recommended solutions based on your search

Solutions on the web

via Google Groups by Zhenyu Zhou, 1 year ago
exception during searchFinished() notification
gov.nasa.jpf.JPFListenerException: exception during searchFinished() notification at at at at gov.nasa.jpf.JPF.start( at sun.reflect.NativeMethodAccessorImpl.invoke0(Native Method) at sun.reflect.NativeMethodAccessorImpl.invoke( at sun.reflect.DelegatingMethodAccessorImpl.invoke( at java.lang.reflect.Method.invoke( at at gov.nasa.jpf.tool.RunJPF.main( by: java.lang.NullPointerException at gov.nasa.jpf.symbc.SymbolicListener.publishFinished( at at at at at ... 9 more