int attr = readChar(ch); return ((((1 << (attr & TYPE_MASK)) & ((1 << SPACE_SEPARATOR) | (1 << LINE_SEPARATOR) | (1 << PARAGRAPH_SEPARATOR))) != 0) && (attr & NO_BREAK_MASK) == 0) || (ch <= '\u001F' && ((1 << ch) & ((1 << '\t') | (1 << '\n') | (1 << '\u000B') | (1 << '\u000C') | (1 << '\r') | (1 << '\u001C') | (1 << '\u001D') | (1 << '\u001E') | (1 << '\u001F'))) != 0);
return isWhitespace((int) ch);
  public static boolean isWhitespace(char ch)  {    int attr = readChar(ch);    return ((((1 << (attr & TYPE_MASK))              & ((1 << SPACE_SEPARATOR)                 | (1 << LINE_SEPARATOR)                 | (1 << PARAGRAPH_SEPARATOR))) != 0)            && (attr & NO_BREAK_MASK) == 0)      || (ch <= '\u001F' && ((1 << ch)                             & ((1 << '\t')                                | (1 << '\n')                                | (1 << '\u000B')                                | (1 << '\u000C')                                | (1 << '\r')                                | (1 << '\u001C')                                | (1 << '\u001D')                                | (1 << '\u001E')                                | (1 << '\u001F'))) != 0);  }