Downloading, installing and running the EB2J Tool
Installing the EB2J tool is very simple and straightforward...!
The EB2J tool is entirely written in Java and build on top of the Eclipse platform using RODIN source code. It is a plugin for RODIN development tool, so the only thing you need is proper installtion of the RODIN.
EB2J runs on Windows and Linux machines. The EB2J tool can be downloaded from here
Installing the EB2J plug-in
For installing the EB2J tool first of all download the plug-in as a zip file. To install the plug-in, copy the file into the RODIN installation directory in plugins. The plugin will not appear until you have restarted your workspace (Restart RODIN).