[Java Path Finder][JPF学习笔记][5]编译jpf-symbc报错的解决方法

这篇日志同样是很简单的经验，今天试着在新服务器上编译jpf-symbc，结果报了十几个编译错误，经过搜索发现了下面这个页面：

http://groups.google.com/group/java-pathfinder/browse_thread/thread/634cdbdf310b7666

基本判断是jpf-symbc的版本和jpf-core的版本不一致，两个都换成最新版，同样还是在%JPF_HOME%\jpf-symbc目录下运行：

bin\ant test

（实际上和在这个目录下直接运行ant效果应该一样）

就仅仅报一个错。想不通的是：为什么两者版本不一致，会导致编译过程出错。