On plugins and libraries: solution

[Andrea Splendiani]

No need to add libraries required by a plugin in the plugin directory.
This may lead to bad problems of class-not found when these libraries
are "big" with references to other system classes.

A clean way seems to be just to add the required libraries in the
library extension directory. This is system specific, but adding the
argument java -Djava-ext.dirs=/path/to/my/lib/directory/ ain the
command will also work.

(otherwise ext classes can be put in:
/Library/Java/Extensions (OSX)
/lib/ext under the java home (ext may need to be created) (Linux)
(for windows there should be something equivalent, but uglier).


Adding the required libraries in the manifest woud be another way, but
not as handy to distribute plugins!

best,
Andrea