Avoid spaces in JSON output

oracle · Jan 30, 2023 · 353c12e · 353c12e
1 parent c5db297
commit 353c12e
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/substratevm/src/com.oracle.svm.driver/src/com/oracle/svm/driver/BundleSupport.java b/substratevm/src/com.oracle.svm.driver/src/com/oracle/svm/driver/BundleSupport.java
@@ -648,7 +648,7 @@ private static Manifest createManifest() {
 
     private static void printPathMapping(Map.Entry<Path, Path> entry, JsonWriter w) throws IOException {
         w.append('{').quote(substitutionMapSrcField).append(" : ").quote(entry.getKey());
-        w.append(", ").quote(substitutionMapDstField).append(" : ").quote(entry.getValue());
+        w.append(',').quote(substitutionMapDstField).append(':').quote(entry.getValue());
         w.append('}');
     }