Index: trunk/src/org/openstreetmap/josm/gui/preferences/plugin/PluginPreference.java
===================================================================
--- trunk/src/org/openstreetmap/josm/gui/preferences/plugin/PluginPreference.java	(revision 11562)
+++ trunk/src/org/openstreetmap/josm/gui/preferences/plugin/PluginPreference.java	(revision 11563)
@@ -492,5 +492,5 @@
             List<String> toActivate = new ArrayList<>();
             List<String> notFound = new ArrayList<>();
-            Pattern regex = Pattern.compile("^[-+\\s]*|\\s[\\(\\)\\d\\s]*");
+            Pattern regex = Pattern.compile("^[-+\\s]*|\\s*\\(v?[\\d\\.]*\\)|[\\s]*$");
             for (String line : lines) {
                 String name = regex.matcher(line).replaceAll("");