Index: trunk/src/org/openstreetmap/josm/plugins/PluginInformation.java
===================================================================
--- trunk/src/org/openstreetmap/josm/plugins/PluginInformation.java	(revision 16873)
+++ trunk/src/org/openstreetmap/josm/plugins/PluginInformation.java	(revision 16874)
@@ -337,7 +337,5 @@
         }
         if (downloadlink != null
-                && !downloadlink.startsWith("http://svn.openstreetmap.org/applications/editors/josm/dist/")
-                && !downloadlink.startsWith("https://svn.openstreetmap.org/applications/editors/josm/dist/")
-                && !downloadlink.startsWith("http://trac.openstreetmap.org/browser/applications/editors/josm/dist/")
+                && !downloadlink.startsWith("https://josm.openstreetmap.de/osmsvn/applications/editors/josm/dist/")
                 && !downloadlink.startsWith("https://github.com/JOSM/")) {
             sb.append("<p>&nbsp;</p><p>").append(tr("<b>Plugin provided by an external source:</b> {0}", downloadlink)).append("</p>");