在Eclipse中安装JML

Question

我正在使用Eclipse在Java中编程。我尝试从this site安装Eclipse的更新程序但是虽然它没有发出任何错误，但我没有看到他们说我应该的菜单。

也许我必须先安装一些东西？也许还有其他更简单的JML选项？你们用的是什么？

Answer 1

问题是我没有安装JDK（只是Eclipse的独立包）。在Eclipse中安装JDK并重新安装JML就可以了。

Answer 2

您应该打开错误日志视图，看看它是否包含任何相关错误。