Merge remote-tracking branch 'origin/main' into fix/field-use-defs

Author: toinehartman

src/org/rascalmpl/uri/file/MavenRepositoryURIResolver.java

@@ -89,15 +89,15 @@ private static ISourceLocation inferMavenRepositoryLocation() throws URISyntaxEx
     }
 
     /** 
-     * @param input   mvn://groupid!artifactId!version/path
+     * @param input   mvn://groupid--artifactId--version/path
      * @return        a file:/// reference to the jar file that is designated by the authority.
      * @throws IOException when the authority does not designate a jar file
      */
     private ISourceLocation resolveJar(ISourceLocation input) throws IOException {
         String authority = input.getAuthority();
 
         if (authority.isEmpty()) {
-            throw new IOException("missing mvn://groupid!artifactId!version/ as the authority in " + input);
+            throw new IOException("missing mvn://groupid--artifactId--version/ as the authority in " + input);
         }
 
         var parts = authority.split(GROUP_ARTIFACT_VERSION_SEPARATOR);
@@ -124,7 +124,7 @@ private ISourceLocation resolveJar(ISourceLocation input) throws IOException {
             return URIUtil.getChildLocation(root, jarPath);  
         }
         else {
-            throw new IOException("Pattern mvn:///groupId!artifactId!version did not match on " + input);
+            throw new IOException("Pattern mvn://groupId--artifactId--version did not match on " + input);
         }
     }