求Eclipse中配置JPF(Java PathFinder)详细流程（急）解决办法
求Eclipse中配置JPF(Java PathFinder)详细流程（急）
我使用 Ubuntu Linux 7.04系统，JDK 1.6,Eclipse 3.22。开发java程序一切正常。现需要使用JPF（Java PathFinder）测试。按照JPF官方网站上提供的文档配置进Eclipse中，发现无法测试,控制台提示：VM初始化时发生错误。网上也搜索不到相关的配置说明。请有经验的大侠指点一二。先谢过。
ps：我在Eclipse中配置JPF的流程如下：
1、文件——> 导入——> 已存在项目：JPF；
2、右键项目——> 属性——> java构建路径：添加那四个JPF必要的jar包；
3、将jdk版本设置为5.0；
4、用2中的方法添加 env 文件夹下的两个文件夹。
------解决方案--------------------
------解决方案--------------------
没用过，帮你顶下
我使用 Ubuntu Linux 7.04系统，JDK 1.6,Eclipse 3.22。开发java程序一切正常。现需要使用JPF（Java PathFinder）测试。按照JPF官方网站上提供的文档配置进Eclipse中，发现无法测试,控制台提示：VM初始化时发生错误。网上也搜索不到相关的配置说明。请有经验的大侠指点一二。先谢过。
ps：我在Eclipse中配置JPF的流程如下：
1、文件——> 导入——> 已存在项目：JPF；
2、右键项目——> 属性——> java构建路径：添加那四个JPF必要的jar包；
3、将jdk版本设置为5.0；
4、用2中的方法添加 env 文件夹下的两个文件夹。
------解决方案--------------------
------解决方案--------------------
没用过，帮你顶下