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?