Eclipse plugin for OpenJML

Installing the OpenJML plugin in Eclipse

A user guide for the Eclipse plugin is present as a standard Eclipse Help document within the plugin itself. Here are instructions for installing the OpenJML plugin in your instance of Eclipse.

• You must have a current version of Eclipse on your system (2025-06 or later) (cf. here).
• You must have a current version of OpenJML installed on your system (21.0.25 or later) (cf. here).
• Then install the OpenJML plugin in Eclipse using the usual Eclipse mechanism to "Install New Software..." using the update site here.
• Connect Eclipse to the OpenJML installation by going to the Eclipse Settings/Preferences pages, selecting the 'OpenJML' settings and the 'Plugin and LSP Settings tab' and entering the absolute file system path to the OpenJML installation.
• Brief information about the capabilities of the plugin can be found on a typical Eclipse Help page at Help >> Help Contents >> OpenJML.