Index: trunk/src/org/openstreetmap/josm/plugins/PluginHandler.java
===================================================================
--- trunk/src/org/openstreetmap/josm/plugins/PluginHandler.java	(revision 14394)
+++ trunk/src/org/openstreetmap/josm/plugins/PluginHandler.java	(revision 14395)
@@ -850,5 +850,5 @@
                 for (String depName : info.getLocalRequiredPlugins()) {
                     for (PluginInformation depInfo : toLoad) {
-                        if (depInfo.getName().equals(depName)) {
+                        if (isDependency(depInfo, depName)) {
                             cl.addDependency(classLoaders.get(depInfo));
                             continue DEPENDENCIES;
@@ -856,5 +856,5 @@
                     }
                     for (PluginProxy proxy : pluginList) {
-                        if (proxy.getPluginInformation().getName().equals(depName)) {
+                        if (isDependency(proxy.getPluginInformation(), depName)) {
                             cl.addDependency(proxy.getClassLoader());
                             continue DEPENDENCIES;
@@ -876,4 +876,8 @@
             monitor.finishTask();
         }
+    }
+
+    private static boolean isDependency(PluginInformation pi, String depName) {
+        return depName.equals(pi.getName()) || depName.equals(pi.provides);
     }