NetBeans Plugin

Installing the NetBeans JPF plugin

1. Download and install jpf-core, e.g. from the Mercurial repository
2. -------------- take a break ---------------
3. Download the gov-nasa-jpf-netbeans-runjpf.nbm file from here.
4. From within Netbeans go to Tools->Plugins (Alt+T followed by Alt+g)
5. Select the Downloaded tab
6. Click on Add Plugins... (Alt+A)
7. Select the gov-nasa-jpf-netbeans-runjpf.nbm file that was downloaded in step 3
8. Select install
9. Agree to the License agreement
10. Restart Netbeans