Revize e941a5a4

#re #7830 Repaired value formats for output JSON
NOTE: the JSON originally does not show the class header.

project/Deserializer/src/jdeserialize/stringobj.java

@@ -16 +16 @@
         return x;
     }
     public String toString() {
-        return this.value;
+        return "\"" + this.value + "\"";
     }
     /**
      * Constructor.