Index: /trunk/src/org/openstreetmap/josm/data/ServerSidePreferences.java
===================================================================
--- /trunk/src/org/openstreetmap/josm/data/ServerSidePreferences.java	(revision 442)
+++ /trunk/src/org/openstreetmap/josm/data/ServerSidePreferences.java	(revision 443)
@@ -109,5 +109,5 @@
 	 * Do nothing on save. Preferences are uploaded using upload().
 	 */
-	@Override protected void save() {
+	@Override public void save() {
 	}