text.append('\\'); if (!include) { char d = (char)escape(text); buf.append(d);
text.append('\\'); if (!include) { char d = (char)escape(text); buf.append(d);
text.append('\\'); if (!include) { char d = (char) escape(text); buf.append(d);
if (d == '\\') { text.append('\\'); d = escape(text); } else if (isLineSeparator(d)) { unread(d);
if (d == '\\') { text.append('\\'); d = escape(text);
if (d == '\\') { text.append('\\'); d = escape(text);