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, 7 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(SymbolicListener.java:613)	at gov.nasa.jpf.report.Publisher.publishFinished(Publisher.java:344)	at gov.nasa.jpf.report.ConsolePublisher.publishFinished(ConsolePublisher.java:126)	at gov.nasa.jpf.report.Reporter.publishFinished(Reporter.java:248)	at gov.nasa.jpf.report.Reporter.searchFinished(Reporter.java:295)	at gov.nasa.jpf.search.Search.notifySearchFinished(Search.java:569)	at gov.nasa.jpf.search.DFSearch.search(DFSearch.java:110)	at gov.nasa.jpf.JPF.run(JPF.java:613)	at gov.nasa.jpf.JPF.start(JPF.java:189)	at sun.reflect.NativeMethodAccessorImpl.invoke0(Native Method)	at sun.reflect.NativeMethodAccessorImpl.invoke(NativeMethodAccessorImpl.java:62)	at sun.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43)	at java.lang.reflect.Method.invoke(Method.java:497)	at gov.nasa.jpf.tool.Run.call(Run.java:80)	at gov.nasa.jpf.tool.RunJPF.main(RunJPF.java:116)