Installing JML in Eclipse

I am using Eclipse to program in Java. I tried installing from this site though Eclipse's Updater but although it didn't fire any error, I don't see the menus they say I shou开发者_如何转开发ld.

Maybe I have to install something first? Maybe there other simpler JML options? What you guys use?

---

The problem was that I didn't have JDK installed (just Eclipse's stand-alone package). Installing the JDK and reinstalling JML in Eclipse did the trick.

---

You should open the Error Log view and see if it contains any relevant errors.