You should be able to download it from the jedit website (www.jedit.org). Installing is simply a matter of unzipping the file into the $USER/.jedit/plugins directory.
The plugin manager sometimes has network problems, and occaisionally a corrupted plugin distribution finds its way onto the plugin download server. -- Ant... -- gentoo-user@gentoo.org mailing list
