JPF and NetBeans

To build and run Java PathFinder inside of the NetBeans development environment, please refer to the excellent instructions posted by Charlie Hunt on the netbeans.org website.