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). (It is generally preferable if this installation folder is not a subfolder of the Desktop.)
• On a Mac you may 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. Note also that on a Mac security restrictions on apps accessing the Desktop may prevent the server from running if it is in a folder (recursively) on the Desktop.
• 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.