private static String unescape(String input) {
        input = input.substring(1, input.length()-1);
        StringBuilder buffer = new StringBuilder();
        for (int i = 0; i < input.length(); i++) {
            char c = input.charAt(i);
            if (c == '\u005c\u005c') {
                c = input.charAt(++i);
                switch (c) {
                case 't': buffer.append('\u005ct'); break;
                case 'b': buffer.append('\u005cb'); break;
                case 'f': buffer.append('\u005cf'); break;
                case 'r': buffer.append('\u005cr'); break;
                case 'n': buffer.append('\u005cn'); break;
                default:  buffer.append(c); break;
                }
            } else {
                buffer.append(c);
            }
        }
        return buffer.toString();
    }