if (input.xml11)
if (xml11)
  private boolean isNameCharacter(int c)  {    if (input.xml11)      return ((c >= 0x0041 && c <= 0x005a) ||              (c >= 0x0061 && c <= 0x007a) ||              (c >= 0x0030 && c <= 0x0039) ||              c == 0x3a |              c == 0x5f |              c == 0x2d |              c == 0x2e |              c == 0xB7 |              (c >= 0xC0 && c <= 0xD6) ||              (c >= 0xD8 && c <= 0xF6) ||              (c >= 0xF8 && c <= 0x2FF) ||              (c >= 0x300 && c <= 0x37D) ||              (c >= 0x37F && c <= 0x1FFF) ||              (c >= 0x200C && c <= 0x200D) ||              (c >= 0x203F && c <= 0x2040) ||              (c >= 0x2070 && c <= 0x218F) ||              (c >= 0x2C00 && c <= 0x2FEF) ||              (c >= 0x3001 && c <= 0xD7FF) ||              (c >= 0xF900 && c <= 0xFDCF) ||              (c >= 0xFDF0 && c <= 0xFFFD) ||              (c >= 0x10000 && c <= 0xEFFFF));    else      return (c == 0x2e || c == 0x2d || c == 0x5f || c == 0x3a ||              isLetter(c) || isDigit(c) ||              isCombiningChar(c) || isExtender(c));  }