LatestVersion plugin is obsolete. Updater works.
We should get rid of LatestVersion and package Updater with core.
Well, I started working on this.
The approach I took was, to first svn propedit svn:externals in the "jars" directory,
and I added Updater to that.
But then I realized CommonControls is needed by Updater.
So that would mean we need to roll CommonControls into jEdit core too.
So I added that to the jars also as an svn externals, But now the problem is,
what happens when a newer version is available on the plugin manager? Then there will be 2 installed copies in different folders, so I have not yet determined how to resolve that issue.
removed latest version from trunk.
Re-opening now that jEdit 5.0 can disable older pre-installed plugins in favor of newer ones in the settings dir.