806         sb.append("\"");

   806         sb.append("\"");

   807         return sb.toString();

   807         return sb.toString();

   808     }

   808     }

   809 

   809 

   810     private String esc(char c, char quote) {

   810     private String esc(char c, char quote) {

   812             return String.valueOf(c);

   812             return String.valueOf(c);

   813         else switch (c) {

   813         else switch (c) {

   814             case '\b': return "\\b";

   814             case '\b': return "\\b";

   815             case '\n': return "\\n";

   815             case '\n': return "\\n";

   816             case '\t': return "\\t";

   816             case '\t': return "\\t";