Index: /trunk/src/org/openstreetmap/josm/plugins/PluginHandler.java
===================================================================
--- /trunk/src/org/openstreetmap/josm/plugins/PluginHandler.java (revision 13680)
+++ /trunk/src/org/openstreetmap/josm/plugins/PluginHandler.java (revision 13681)
@@ -767,5 +767,5 @@
*/
private static void loadPlugin(Component parent, PluginInformation plugin, PluginClassLoader pluginClassLoader) {
- String msg = tr("Could not load plugin {0}. Delete from preferences?", plugin.name);
+ String msg = tr("Could not load plugin {0}. Delete from preferences?", "'"+plugin.name+"'");
try {
Class klass = plugin.loadClass(pluginClassLoader);
@@ -782,5 +782,5 @@
if (e.getCause() instanceof ClassNotFoundException) {
msg = tr("Could not load plugin {0} because the plugin
main class ''{1}'' was not found.
"
- + "Delete from preferences?", Utils.escapeReservedCharactersHTML(plugin.name), plugin.className);
+ + "Delete from preferences?