Index: src/org/openstreetmap/josm/plugins/PluginSelection.java
===================================================================
--- src/org/openstreetmap/josm/plugins/PluginSelection.java	(revision 2054)
+++ src/org/openstreetmap/josm/plugins/PluginSelection.java	(working copy)
@@ -333,8 +333,7 @@
                                     String x[] = line.split(";");
                                     name = x[0];
                                     url = x[1];
-                                    // Is null anyway
-                                    //manifest = null;
+                                    manifest = null;
                                 }
                             }
                             if(name != null)