Java - gov.nasa.jpf.jvm.Verify Pathfinder Package Doesn't Exist

I am attempting use Java Pathfinder and I have pathfinder working.

import gov.nasa.jpf.jvm.Verify;

user.java:2: package gov.nasa.jpf.jvm does not exist
import gov.nasa.jpf.jvm.Ve开发者_如何学Pythonrify;

I need to use the Verify.random function. Can anyone tell me how to resolve this problem? I don't really understand how the importation of what I am assuming is a URL works.

Having used Java Pathfinder some time back, I know that its not an applet as the other answer worries.

You are getting this error because the Java Pathfinder jar files are not on your classpath. Here is a complete Java Pathfinder Getting Started tutorial that could help others coming to this old thread.

It's not a URL at all (except in the case of applets, and you didn't mention an applet). You need to put the Pathfinder jar in the classpath when compiling and running, via -cp to javac and java.

If it's an applet, it's more complex.