Index: trunk/src/org/openstreetmap/josm/plugins/PluginHandler.java
===================================================================
--- trunk/src/org/openstreetmap/josm/plugins/PluginHandler.java	(revision 4468)
+++ trunk/src/org/openstreetmap/josm/plugins/PluginHandler.java	(revision 4470)
@@ -58,5 +58,4 @@
 import org.openstreetmap.josm.gui.progress.NullProgressMonitor;
 import org.openstreetmap.josm.gui.progress.ProgressMonitor;
-import org.openstreetmap.josm.io.remotecontrol.RemoteControl;
 import org.openstreetmap.josm.tools.CheckParameterUtil;
 import org.openstreetmap.josm.tools.GBC;
@@ -384,5 +383,5 @@
                 tr("<html>Plugin {0} requires JOSM version {1}. The current JOSM version is {2}.<br>"
                         +"You have to update JOSM in order to use this plugin.</html>",
-                        plugin, requiredVersion, Version.getInstance().getVersion()
+                        plugin, Integer.toString(requiredVersion), Version.getInstance().getVersionString()
                 ),
                 tr("Warning"),
