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.