我试图在Netbeans IDE中运行Java Pathfinder(JPF)，以便可以执行测试。在JPF网站上，它提供了有关如何执行此操作的Netbeans站点的链接，但是此文档当然不再存在。
有谁知道该怎么做，还是可以为我指明正确的方向？
嗯，似乎没有多少人在使用JPF ...或者至少没有在使用JPF和Netbeans。
NASA's site has a page that will instruct you(只需确保您下载了最新版本)。
为了您无需单击链接，我提供了以下说明:
下载并安装jpf-core，例如来自Mercurial repository [可选]如果要使用JPF Swing UI，请下载并安装jpf-shell --------------休息一下------------------- 下载此页面所附的 gov-nasa-jpf-netbeans-runjpf.nbm 文件。 从Netbeans中转到Tools-> Plugins(Alt + T，然后再按Alt + g)选择“已下载”标签单击“添加插件...”按钮(Alt + A)选择在步骤1中下载的 gov-nasa-jpf-netbeans-runjpf.nbm 文件选择安装同意许可协议重新启动Netbeans
我建议在选择安装和同意许可之间再作一次休息。 NASA有一种期望人们努力工作的趋势。