The plugin manager provides an easy way to uninstall, install and
update plugins. Detailed documentation can be found in the
Using Plugins chapter of the jEdit user's guide.
To Do
Plugin dependencies: for example,
if I install Console, it should
update EditBus if necessary