private void addPluginLoader(URL url) throws PluginException, MalformedURLException {
final String ext = url.toExternalForm();
if (!ext.endsWith("/")) {
url = new URL(ext + '/');
}
mgr.getLoaderManager().addPluginLoader(new URLPluginLoader(url));
out.format(fmt_add_loader, url);
}