anchor.diff:  
           //Adapted from  https://github.com/douglascrockford/JSON-java/blob/master/JSONObject.java
           public static String escapeJSONText(String inputJSONText) {
  -            StringWriter w = new StringWriter();
  +            StringBuilder w = new StringBuilder();
   
               if (inputJSONText == null || inputJSONText.length() == 0) {
  -                w.write("\"\"");
  +                w.append("\"\"");
                   return w.toString();
               }
   
  
positive.code:             String filteredLine = inputLine;
  
              if (hasCRLF(inputLine)) {
                  filteredLine = inputLine.replace("\n",replaceString);
                  filteredLine = inputLine.replace("\r",replaceString);
              }
  
              return filteredLine;
  
negative.code:             int i;
              int len = inputJSONText.length();
  
              w.append('"');
              for (i = 0; i < len; i += 1) {
                  b = c;
                  c = inputJSONText.charAt(i);
                  switch (c) {
                      case '\\':
                      case '"':
                          w.append('\\');
                          w.append(c);
                          break;
                      case '/':
                          if (b == '<') {
                              w.append('\\');
                          }
                          w.append(c);
                          break;
                      case '\b':
                          w.append("\\b");
                          break;
                      case '\t':
                          w.append("\\t");
                          break;
                      case '\n':
                          w.append("\\n");
                          break;
                      case '\f':
                          w.append("\\f");
                          break;
                      case '\r':
                          w.append("\\r");
                          break;
                      default:
                          if (c < ' ' || (c >= '\u0080' && c < '\u00a0')
                                  || (c >= '\u2000' && c < '\u2100')) {
                              w.append("\\u");
                              hhhh = Integer.toHexString(c);
                              w.append("0000", 0, 4 - hhhh.length());
                              w.append(hhhh);
                          } else {
                              w.append(c);
                          }
                  }
              }
              w.append('"');
              return w.toString();
          }
  
  