[ jEdit-devel ] How to distribute additional files for a plugin?

[<KHa...@t-...>]

I would like to copy additional files for a plugin in a directory:
<users.home>/.jedit/<plugin-name>/<jedit-mode-name>/script.bsh

How does the plugin manager download/install such files?
Is there a method or special beanshell script in the plugin interface, 
which is called if the plugin manager installs the plugin?

-- 
Klaus Hartlage
Math java project:  http://www.hartmath.org
Riding the Java wave: http://www.jsurfer.org