Index: SettingsEditor.java
===================================================================
--- SettingsEditor.java	(revision 796406)
+++ SettingsEditor.java	(working copy)
@@ -120,7 +120,7 @@
                 File f = getFile(new File("/"));
                 if (f != null) {
                     try {
-                        settingsText.setText(f.toURL().toExternalForm());
+                        settingsText.setText(f.toURI().toURL().toExternalForm());
                         settingsPathUpdated();
                     } catch (MalformedURLException ex) {
                         // this cannot happen