Fix use of Matcher.replaceAll method with backslash in the replacement string

Backslash must be double-escaped here because it has special meaning

diff --git a/src/cx/fbn/nevernote/config/FileManager.java b/src/cx/fbn/nevernote/config/FileManager.java
index db91568..61629db 100644 (file)
--- a/src/cx/fbn/nevernote/config/FileManager.java
+++ b/src/cx/fbn/nevernote/config/FileManager.java
@@ -156,7 +156,10 @@ public class FileManager {
     }
 
     private static String toPlatformPathSeparator(String relativePath) {
-        return ALL_PATH_SEPARATORS_REGEX.matcher(relativePath).replaceAll(File.separator);
+               return ALL_PATH_SEPARATORS_REGEX.matcher(relativePath).replaceAll(
+                               // Must double-escape backslashes,
+                               // because they have special meaning in the replacement string of Matcher.replaceAll
+                               (File.separator.equals("\\") ? "\\\\" : File.separator));
     }
 
     private static String slashTerminatePath(String path) {