title: GWT JSON Parse is removing \ character
body: <p>In GWT, I am trying to provide a regex as an input through JSON and attempting to read it back again. But on reading back the value from JSON, the \ character that I give during input is missed. </p>
  
  <pre><code>String input = "{\"digit\":\"(\d*)\"}";
  
  JSONValue  parse   = JSONParser.parseLeneient(input);
  JSONObject jsonObj = parse.isObject();
  
  if(jsonObj!=null) {
   for(String key:jsonObj.keySet()) {
      System.out.prinltn(jsonObj.get(key).toString();
   }
  }
  </code></pre>
  
  <p>The output that I get is </p>
  
  <pre><code>(d*)
  </code></pre>
  
  <p>How do I make the \ character to appear as well in my ouput?</p>