In Node, construct proper URI from Path

Sure enough, addressing the deprecation of URL constructors
by substituting URI.toURL() leads to failure on Windows where
Node.installSaxon used to get away with string concatenation
to make a URI from a Path.

Path.toUri() is a bit brain-damaged: it makes an absolute file: URI
even from a relative Path, and it inserts an empty authority instead
of just leaving the authority out. The latter problem is easily dealt
with; installExamples was already doing so. The former we'll put up with
for now.

Author: jcflack

pljava-packaging/src/main/java/Node.java

@@ -1,5 +1,5 @@
 /*
- * Copyright (c) 2015-2024 Tada AB and other contributors, as listed below.
+ * Copyright (c) 2015-2025 Tada AB and other contributors, as listed below.
  *
  * All rights reserved. This program and the accompanying materials
  * are made available under the terms of the The BSD 3-Clause License
@@ -1919,7 +1919,9 @@ public static Stream<Object> installSaxon(
 		Path p = Paths.get(
 			repo, "net", "sf", "saxon", "Saxon-HE", version,
 			"Saxon-HE-" + version + ".jar");
-		return installJar(c, "file:" + p, "saxon", false);
+		String uri = p.toUri()
+			.toString().replaceFirst("^file:///", "file:/");
+		return installJar(c, uri, "saxon", false);
 	}
 
 	/**