mLog.warning("Unknown plugin type: " + pluginFile.getAbsolutePath());
}
if (plugin instanceof Plugin) {
// check if the proxy is already loaded, but the plugin was not loaded yet
JavaPluginProxy javaplugin = (JavaPluginProxy) PluginProxyManager.getInstance().getPluginForId(JavaPluginProxy.getJavaPluginId((Plugin) plugin));
if (javaplugin != null) {
javaplugin.setPlugin((Plugin) plugin, pluginFile.getPath());
}
// it was not yet loaded, so create new proxy
else {
javaplugin = new JavaPluginProxy((Plugin)plugin, pluginFile.getPath());
PluginProxyManager.getInstance().registerPlugin(javaplugin);
}
if (mNewInstalledPlugins.contains(pluginFile.getAbsolutePath())) {
// add this plugin to the icon settings for program panels
String iconText = ((Plugin)plugin).getProgramTableIconText();