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, 10 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)