How to install JPF

The JPF core and most of its extensions are pure Java applications, so they are not many platform requirements other than sufficient memory and a reasonably fast machine. Use of IDEs is optional, but most JPF modules include out-of-the-box configuration files for both Eclipse and Netbeans.

You can obtain JPF sources from the Git or Mercurial repositories. You need at least the core of JPF, jpf-core which can be built from the command line, or directly opened as a NetBeans or Eclipse project.

The JPF core project already come with its configuration file, but you have to create a per-site site.properties file.

If you use the JPF shells (graphical JPF front-ends), you might also want to install the corresponding NetBeans or Eclipse adapter plugins, although shells are standalone Java (swing) applications that can also be used without an IDE.

Here are the details:

• System requirements
• Downloading binary snapshots
• Downloading sources from the GitHub repositories
• Creating a site properties file
• Building, testing, and running
• Installing the Eclipse plugin
• Installing the NetBeans plugin