CODEWITHSUNDEEP
javaeclipsejml
devoured elysium
devoured elysium

Reputation: 105217

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

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

Upvotes: 1

Views: 2687

Answers (2)

devoured elysium
devoured elysium

Reputation: 105217

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.

Upvotes: 2

ChrisH
ChrisH

Reputation: 4826

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

Upvotes: 0

Related Questions