Issue 4467 - Fixed hex encoding of characters in string literal and adjusted tests for newer Spider…

scripts/astDecompile.js

 let global = this;
 function decompileAST(ast) {
   let func = global["decompile" + ast.type];
   if (!func)
     throw "Unknown type " + ast.type;
   return func(ast);
 }
 
 function decompileProgram(ast) {
   return ast.body.map(decompileAST).join('\n');
@@ skipping 369 matching lines @@
   function replace(x) {
     if (x == q) return '\\' + q;
     if (x == '\\') return '\\\\';
     if (x == '\b') return '\\b';
     if (x == '\f') return '\\f';
     if (x == '\n') return '\\n';
     if (x == '\r') return '\\r';
     if (x == '\t') return '\\t';
     if (x == '\v') return '\\v';
     let val = x.charCodeAt(0);
-    if (x < ' ') return '\\x' + ((val - val % 16) / 16).toString(16) + (val % 16).toString(16);
+    if (x < ' ') return '\\x' + (val < 16 ? '0' : '') + val.toString(16);
     return x;
   }
   let result = "";
   for (let char of str)
     result += replace(char);
   return result;
 }
 
 function decompileLiteral(ast) {
   if (typeof ast.value == "string")
     return '"' + sanitize(ast.value, '"') + '"';
   if (ast.value === null)
       return "null";
   return ast.value;
 }
 
 function process_js(ast) {
     _print(decompileAST(ast));
 }