Index: applications/editors/josm/plugins/osmarender/src/OsmarenderPlugin.java
===================================================================
--- applications/editors/josm/plugins/osmarender/src/OsmarenderPlugin.java	(revision 9603)
+++ applications/editors/josm/plugins/osmarender/src/OsmarenderPlugin.java	(revision 12588)
@@ -139,6 +139,7 @@
 				firefox.setText(Main.pref.get("osmarender.firefox"));
 			}
-			public void ok() {
+			public boolean ok() {
 				Main.pref.put("osmarender.firefox", firefox.getText());
+				return false;
 			}
 		};