#65 NullPointerException in INVOKESTATIC.java

[D'Er'Nasherbrezon]

Reproducable: always.
Running from eclipse plugin
java.lang.NullPointerException
at gov.nasa.jpf.jvm.bytecode.INVOKESTATIC.getInvokedMethod(INVOKESTATIC.java:127)
at gov.nasa.jpf.jvm.bytecode.INVOKESTATIC.getInvokedMethod(INVOKESTATIC.java:121)
at gov.nasa.jpf.jvm.bytecode.INVOKESTATIC.execute(INVOKESTATIC.java:75)
at gov.nasa.jpf.jvm.ThreadInfo.executeInstruction(ThreadInfo.java:1638)
at gov.nasa.jpf.jvm.ThreadInfo.executeStep(ThreadInfo.java:2341)
at gov.nasa.jpf.jvm.SystemState.nextSuccessor(SystemState.java:504)
at gov.nasa.jpf.jvm.JVM.forward(JVM.java:1281)
at gov.nasa.jpf.search.Search.forward(Search.java:366)
at gov.nasa.jpf.search.DFSearch.search(DFSearch.java:83)
at gov.nasa.jpf.JPF.run(JPF.java:525)
at com.javapathfinder.vjp.verify.VerifyJob.run(VerifyJob.java:159)
at org.eclipse.core.internal.jobs.Worker.run(Worker.java:55)