First you have to install a Java runtime or Java development environment (J2SE). This can be obtained here . It is recommended to use version 1.4 or above.
If you want to develop java (e.g. jedit plugins), you should use the SDK version (Development Kit including compiler). Otherwise the JRE (Java Runtime environment) is the right choice.
Start jEdit (look for an Desktop shortcut or Program menu entry or simply type "jedit" command shell/prompt. To install plugins choose the menu option Plugins->Plugin Manager->Install
The following plugins must be installed in order to use the PL/B extensions:
The next plugins are not mandatory but nice to have:
And last but not least a few plugins, which make everything look a little bit nicer:
When the download and installation of plugins is ready, jEdit asks you to restart. Wait a moment and install plb4jedit first ...
Download plb4jedit binary distribution and unzip into the directory $HOME/.jedit (so called jEdit setting directory). If you don't know, where to find the settings directory, you can look it up in jEdit Menu Utilities->Settings Directory .
Restart jEdit. Done.