When pressing RAC I get an Eclipse pop-up (attached) with the openjml.org example program.
Log in to post a comment.