Ticket #16497: 16497.patch

src/org/openstreetmap/josm/io/session/GenericSessionExporter.java

@@ -12 +12 @@
 import java.io.File;
 import java.io.IOException;
 import java.io.OutputStream;
-import java.net.MalformedURLException;
+import java.nio.file.Path;
 
 import javax.swing.AbstractAction;
 import javax.swing.ButtonGroup;
@@ -191 +191 @@
             file.appendChild(support.createTextNode(zipPath));
             addDataFile(support.getOutputStreamZip(zipPath));
         } else {
-            try {
-                File f = layer.getAssociatedFile();
-                if (f != null) {
-                    file.appendChild(support.createTextNode(f.toURI().toURL().toString()));
+            File f = layer.getAssociatedFile();
+            if (f != null) {
+                final Path sessionDirectory = support.getOutput().getParent();
+                final String fileString;
+                if (f.toPath().startsWith(sessionDirectory)) {
+                    fileString = sessionDirectory.relativize(f.toPath()).toString();
+                } else {
+                    fileString = f.toPath().toString();
                 }
-            } catch (MalformedURLException e) {
-                throw new IOException(e);
+                file.appendChild(support.createTextNode(fileString));
             }
         }
         return layerEl;

src/org/openstreetmap/josm/io/session/SessionWriter.java

@@ -8 +8 @@
 import java.io.OutputStreamWriter;
 import java.nio.charset.StandardCharsets;
 import java.nio.file.Files;
+import java.nio.file.Path;
 import java.util.ArrayList;
 import java.util.Collection;
 import java.util.HashMap;
@@ -63 +64 @@
     private final MultiMap<Layer, Layer> dependencies;
     private final boolean zip;
 
+    private Path output;
     private ZipOutputStream zipOut;
 
     static {
@@ -195 +197 @@
         public boolean isZip() {
             return zip;
         }
+
+        /**
+         * Returns the path of the output file.
+         *
+         * @return the path of the output file
+         */
+        public Path getOutput() {
+            return output;
+        }
     }
 
     /**
@@ -328 +339 @@
      * @throws IOException if any I/O error occurs
      */
     public void write(File f) throws IOException {
-        try (OutputStream out = Files.newOutputStream(f.toPath())) {
+        output = f.toPath();
+        try (OutputStream out = Files.newOutputStream(output)) {
             write(out);
         }
     }