非常感谢csdn上的兄弟帮我在sourceforge上找到了JPF 开始学习~ 不知道有没有和我一样的兄弟呢? 关于JPF可见:http://jpf.sourceforge.net/about.html