Index: applications/editors/josm/plugins/pluginmanager/src/at/dallermassl/josm/plugin/pluginmanager/PluginManagerPreference.java
===================================================================
--- applications/editors/josm/plugins/pluginmanager/src/at/dallermassl/josm/plugin/pluginmanager/PluginManagerPreference.java	(revision 9948)
+++ applications/editors/josm/plugins/pluginmanager/src/at/dallermassl/josm/plugin/pluginmanager/PluginManagerPreference.java	(revision 12588)
@@ -50,5 +50,6 @@
     private JList siteList;
     private DefaultListModel siteListModel;
-    
+    private boolean requiresRestart = false;
+
     protected DefaultListModel createListModel() {
         Map<String, String> sites = Main.pref.getAllPrefix(PREF_KEY_REMOTE_SITE_PREFIX);
@@ -103,5 +104,4 @@
                     return;
                 }
-                gui.requiresRestart = gui.requiresRestart || false;
             }
         });
@@ -117,5 +117,4 @@
                         siteListModel.removeElementAt(selected[i]);
                     }
-                    gui.requiresRestart = gui.requiresRestart || false;
                 }
             }
@@ -142,5 +141,5 @@
                     PluginUpdateFrame frame = new PluginUpdateFrame(tr("Plugins"), descriptions);
                     frame.setVisible(true);
-                    gui.requiresRestart = true;
+                    requiresRestart = true;
                 }
             }
@@ -167,6 +166,5 @@
      * @see org.openstreetmap.josm.gui.preferences.PreferenceSetting#ok()
      */
-    // only in 1.6 allowed @Override
-    public void ok() {
+    public boolean ok() {
         // first remove all old entries:
         Map<String, String> keys = Main.pref.getAllPrefix(PREF_KEY_REMOTE_SITE_PREFIX);
@@ -189,5 +187,5 @@
             }
         }
+        return requiresRestart;
     }
-
 }