Ticket #9495: PluginInformation.patch

src/org/openstreetmap/josm/plugins/PluginInformation.java

@@ -13 +13 @@
 import java.lang.reflect.InvocationTargetException;
 import java.net.MalformedURLException;
 import java.net.URL;
+import java.text.MessageFormat;
 import java.util.ArrayList;
 import java.util.Collection;
 import java.util.LinkedList;
@@ -203 +204 @@
                     Main.info(tr("Invalid plugin description ''{0}'' in plugin {1}", s, name));
                 }
             }
+        } else {
+            s = MessageFormat.format(s, null);
         }
         description = s;
         early = Boolean.parseBoolean(attr.getValue("Plugin-Early"));