这篇日志同样是很简单的经验，今天试着在新服务器上编译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效果应该一样）
就仅仅报一个错。想不通的是：为什么两者版本不一致，会导致编译过程出错。