Auto-extract bundled plugins if newer

Fixes issue 3558

Change-Id: Ibe8ee29b8e61173971da13c0b6f71681e54b0283
Reviewed-on: http://gerrit.dmdirc.com/766
Reviewed-by: Gregory Holmes <greg@dmdirc.com>
Automatic-Compile: DMDirc Local Commits <dmdirc@googlemail.com>

src/com/dmdirc/Main.java

 import com.dmdirc.logger.DMDircExceptionHandler;
 import com.dmdirc.logger.ErrorLevel;
 import com.dmdirc.logger.Logger;
+import com.dmdirc.plugins.PluginInfo;
 import com.dmdirc.plugins.PluginManager;
 import com.dmdirc.plugins.Service;
 import com.dmdirc.ui.themes.ThemeManager;
 import com.dmdirc.ui.interfaces.UIController;
 import com.dmdirc.ui.WarningDialog;
 import com.dmdirc.updater.UpdateChecker;
+import com.dmdirc.updater.Version;
 import com.dmdirc.util.resourcemanager.ResourceManager;
 
 import java.awt.GraphicsEnvironment;
         }
 
         final PluginManager pm = PluginManager.getPluginManager();
+        checkBundledPlugins(pm, IdentityManager.getGlobalConfig());
         
         ThemeManager.loadThemes();
 
         }
     }
 
+    /**
+     * Checks whether the plugins bundled with this release of DMDirc are newer
+     * than the plugins known by the specified {@link PluginManager}. If the
+     * bundled plugins are newer, they are automatically extracted.
+     *
+     * @param pm The plugin manager to use to check plugins
+     * @param config The configuration source for bundled versions
+     */
+    private static void checkBundledPlugins(final PluginManager pm, final ConfigManager config) {
+        for (PluginInfo plugin : pm.getPluginInfos()) {
+            if (config.hasOptionString("bundledplugins_versions", plugin.getName())) {
+                final Version bundled = new Version(config.getOption("bundledplugins_versions",
+                        plugin.getName()));
+                final Version installed = plugin.getVersion();
+
+                if (installed.compareTo(bundled) < 0) {
+                    extractCorePlugins(plugin.getName());
+                    PluginManager.getPluginManager().reloadPlugin(plugin.getFilename());
+                }
+            }
+        }
+    }
+
     /**
      * Attempts to find and activate a service which provides a UI that we
      * can use.