Fix bug in JSON character quote table.

src/json.js

 // Copyright 2009 the V8 project authors. All rights reserved.
 // Redistribution and use in source and binary forms, with or without
 // modification, are permitted provided that the following conditions are
 // met:
 //
 //     * Redistributions of source code must retain the above copyright
 //       notice, this list of conditions and the following disclaimer.
 //     * Redistributions in binary form must reproduce the above
 //       copyright notice, this list of conditions and the following
 //       disclaimer in the documentation and/or other materials provided
@@ skipping 56 matching lines @@
   }
 }
 
 var characterQuoteCache = {
   '\b': '\\b',  // ASCII 8, Backspace
   '\t': '\\t',  // ASCII 9, Tab
   '\n': '\\n',  // ASCII 10, Newline
   '\f': '\\f',  // ASCII 12, Formfeed
   '\r': '\\r',  // ASCII 13, Carriage Return
   '\"': '\\"',
-  '/': '\\/'
+  '\\': '\\\\'
 };
 
 function QuoteSingleJSONCharacter(c) {
   if (c in characterQuoteCache) {
     return characterQuoteCache[c];
   }
   var charCode = c.charCodeAt(0);
   var result;
   if (charCode < 16) result = '\\u000';
   else if (charCode < 256) result = '\\u00';
@@ skipping 169 matching lines @@
 }
 
 function SetupJSON() {
   InstallFunctions($JSON, DONT_ENUM, $Array(
     "parse", JSONParse,
     "stringify", JSONStringify
   ));
 }
 
 SetupJSON();