The Plugin Manager By Slava Pestov
sp@gjt.org

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.