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 Imran, 9 months ago
exception during searchFinished() notification
via Google Groups by Kasper Søe Luckow, 1 year ago
exception during searchFinished() notification
java.lang.NullPointerException: 	at gov.nasa.jpf.symbc.SymbolicListener.publishFinished(	at	at	at	at	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(