Recall that any class whose name ends with Plugin.class
is called a plugin core class.
JAR files with no plugin core classes are also loaded by jEdit;
the classes they contain are
made available to other plugins. Many plugins that rely on
third-party class libraries ship them as separate JAR files. The libraries
will be available inside the jEdit environment but are not part of a general
classpath or library collection when running other Java applications.
A plugin that bundles extra JAR files must list them in the
plugin.
property. See the documentation for the
class name
.jarsEditPlugin
class for details.