This plugin can be used to find out what the latest available jEdit
version is. To invoke it, select
Plugins>Check jEdit Version. When invoked, it will
connect to a special URL
(http://jedit.sourceforge.net/jEdit-version.txt),
which contains version info.