[Java Path Finder][JPF学习笔记][4]将JPF源码导入Eclipse

这篇日志很简单，考虑到有些师弟在学习JPF，这里总结些经验。

在Eclipse中新建"Java Project"，在新建的Project的src图标上点击右键——"Import"——"File System"——点击"Browse"并定位到%JPF_HOME%\jpf-core\src\main，选择导入该目录。

在新建工程名上点击右键——"Properties"——“Java Build Path”——“Add External JARs”——选择目录%JPF_HOME%\jpf-core\build中的6个jar包，导入工程之后发现报错消失，接下来就可以正常调试JPF源码了。