Tighten JSON generation

Author: mikera

convex-core/src/main/java/convex/core/util/JSONUtils.java

@@ -182,9 +182,7 @@ private static void appendJSON(BlobBuilder bb, Object value) {
 			    if (i>0) bb.append(",");
 				appendJSON(bb, jsonKey(me.getKey()));
 				bb.append(':');
-				bb.append(' ');
 				appendJSON(bb, me.getValue());
-
 			    i += 1;
 			}
 
@@ -278,7 +276,6 @@ private static void appendJSON(BlobBuilder bb, ACell value) {
 				MapEntry<?,?> me=mv.entryAt(i);
 				appendJSON(bb, jsonKey(me.getKey()));
 				bb.append(':');
-				bb.append(' ');
 				appendJSON(bb, me.getValue());
 			}
 			bb.append('}');

convex-java/src/main/java/convex/java/JSON.java

@@ -110,7 +110,7 @@ public static String toPrettyString(Object value) {
      * @throws RuntimeException on failure to create JSON from value
      */
     public static String toString(Object value) {
-       return JSONValue.toJSONString(value);
+       return JSONUtils.toString(value);
     }
 
     /**