case '\\': buf.append("\\\\"); break;
	private static String charsToEscapes(String str)	{		StringBuffer buf = new StringBuffer();		for(int i = 0; i < str.length(); i++)		{			char c = str.charAt(i);			switch(c)			{			case '\n':				buf.append("\\n");				break;			case '\r':				buf.append("\\r");				break;			case '\t':				buf.append("\\t");				break;			case '[':				buf.append("\\[");				break;			case ']':				buf.append("\\]");				break;			default:				buf.append(c);				break;			}		}		return buf.toString();	}