Please report this internal bug (java.lang.NullPointerException)

Status: Beta

Brought to you by: chalin, cheon, davidcok, dmzimmerman, and 3 others

#406 Please report this internal bug (java.lang.NullPointerException)

Status: open

Owner: nobody

Labels: OpenJML (24)

Module: OpenJML

Priority: 5

Updated: 2015-05-22

Created: 2014-05-29

Private: No

When pressing RAC I get an Eclipse pop-up (attached) with the openjml.org example program.

1 Attachments

JMLError.png