我能想到的简单解决方案是使用drjava中的工具"Create Jar File From Project...“但是,由于某些原因,它没有突出显示,所以我不能这样做。我真正寻找的是(a)解释为什么drjava不能将我的类转换成jar文件,(b)允许我创建这个jar文件的替代方案,或者(c)理想情况下两者兼而有之。感谢您提前给予的帮助。
$ResultHandler.forUnexpectedException(MainJVM.java:1045) at edu.rice.cs.drjava.model.repl.newjvm.InterpretResult(MainJVM.java:351)
at edu.rice.cs.drjava.model