public static String forceFileSeparator(final String filename) {
    return filename.replace(File.separator.equals("/") ? "\\" : "/", File.separator);
  }
BinDiff-specific file name and filesystem utility methods.
java/ui/src/main/java/com/google/security/zynamics/bindiff/utils/BinDiffFileUtils.java