static protected boolean isWhiteSpace(char ch) {
      return (ch == ct || ch == lf || ch == tb ||
              ch == fd || ch == cr || ch == nl ||
              ch == zs || ch == zl || ch == zp);
   }