Index: src/org/openstreetmap/josm/plugins/PluginSelection.java
===================================================================
--- src/org/openstreetmap/josm/plugins/PluginSelection.java (revision 1365)
+++ src/org/openstreetmap/josm/plugins/PluginSelection.java (working copy)
@@ -175,7 +175,11 @@
JEditorPane description = new JEditorPane();
description.setContentType("text/html");
description.setEditable(false);
- description.setText(""+(plugin.description==null?tr("no description available"):plugin.description)+"");
+ description.setText("" +
+ (plugin.description == null
+ ? tr("no description available")
+ : tr(plugin.description)) +
+ "");
description.setBorder(BorderFactory.createEmptyBorder(0,20,0,0));
description.setBackground(UIManager.getColor("Panel.background"));
description.addHyperlinkListener(new HyperlinkListener() {