for (int i=0; i<s.length(); i++)
switch(s.charAt(i)) {
case '\t': sb.append("\\t"); break;
+
case '\f': sb.append("\\f"); break;
+
case '\n': sb.append("\\n"); break;
+
default:
if ((int)s.charAt(i)<32)
sb.append("\\"+Integer.toOctalString((int)s.charAt(i)));