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; a copy is here.. 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).
• On a Mac you man need to run ./mac-setup (in the OpenJML installation folder) to clear some security settings. You can check that the server runs by executing ./openjml-lsp --version.
• 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.