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 should.
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.