} else if (ch >= 0x20 && ch < 0x7f) { b.append(ch); } else if (validXmlChar(ch)) { b.append(ch);
} else if (ch >= 0x20 && ch < 0x7f) { b.append(ch); } else if (validXmlChar(ch)) { b.append(ch);
} else if (ch >= 0x20 && ch < 0x7f) { b.append(ch); } else if (validXmlChar(ch)) { b.append(ch);