Improved compatibility with the Java 7 FileSystem abstraction.

h2/src/main/org/h2/store/fs/FilePath.java

@@ -42,11 +42,13 @@ public abstract class FilePath {
 
     /**
      * Get the file path object for the given path.
+     * Windows-style '\' is replaced with '/'.
      *
      * @param path the path
      * @return the file path object
      */
     public static FilePath get(String path) {
+        path = path.replace('\\', '/');
         int index = path.indexOf(':');
         if (index < 2) {
             // use the default provider if no prefix or

h2/src/main/org/h2/store/fs/FilePathDisk.java

@@ -43,19 +43,20 @@ public class FilePathDisk extends FilePath {
     }
 
     /**
-     * Translate the file name to the native format.
-     * This will expand the home directory (~).
+     * Translate the file name to the native format. This will replace '\' with
+     * '/' and expand the home directory ('~').
      *
      * @param fileName the file name
      * @return the native file name
      */
     protected static String translateFileName(String fileName) {
+        fileName = fileName.replace('\\', '/');
         return expandUserHomeDirectory(fileName);
     }
 
     /**
-     * Expand '~' to the user home directory. It is only be expanded if the ~
-     * stands alone, or is followed by / or \.
+     * Expand '~' to the user home directory. It is only be expanded if the '~'
+     * stands alone, or is followed by '/' or '\'.
      *
      * @param fileName the file name
      * @return the native file name