PluginManager.download
The
PluginManager.download
directory is usually empty. It only contains files while the plugin manager is downloading a plugin. See Chapter 10 of the jEdit user guide for more information about the plugin manager.