我对Java和Eclipse都是新手。
我正在尝试从我在Eclipse中编写的程序中调用jpf库中的一些函数。
谁能帮我加载或安装这些库到我的Eclipse项目?zip文件在这里。如果这些已经在Eclipse程序中，或者有更好的方法来获得它们，除了如何加载任意java库之外，谁也可以发布答案。
谢谢你的帮助
您在问题中已经链接到的JPF项目页面包含了关于为JPF项目设置Eclipse IDE的部分。关于如何将外部jar添加到eclipse项目的更通用的网页可能也会有所帮助
下载所需的jar到本地机器中-使用下面的命令将这些jar添加到项目中
右键单击项目-配置构建路径-库-添加外部jar -浏览下载的jar - add
下载并解压jpf-bin-1.5.1.zip。在这里，您将找到一个或多个JAR文件。将它们添加到Eclipse项目中，放在类似"lib"文件夹的目录下。右键单击JAR文件，然后选择"Build Path"/"Add to Build Path"。
或者更好的是，研究Apache Maven的使用，让它为您处理所有依赖项解析。(根据http://jpf.sourceforge.net/roadmap.html，这个项目至少是支持maven的。)至少1.5版本也可以从中央Maven存储库http://repo1.maven.org/maven2/net/sf/jpf/jpf/获得。我没有看到1.5.1，但是jpf-bin-1.5.1.zip包含一个"Maven .txt"，解释了如何将其安装到本地Maven存储库中以供使用。
查看如何在eclipse中添加库。http://wiki.eclipse.org/FAQ_How_do_I_add_an_extra_library_to_my_project%27s_classpath%3F
还要检查如何在Eclipse中创建用户库，然后将它们添加到您的项目中。http://i-proving.com/2006/07/18/user-libraries-in-eclipse