code: private final int getWsOrChar(int ok)
          throws IOException, WstxException
      {
          int c = getNext();
          if (c == ok) {
              return c;
          }
          if (c > CHAR_SPACE) {
              reportUnexpectedChar(c, "; expected either '"+((char) ok)+"' or white space");
          }
          if (c == CHAR_LF || c == CHAR_CR) {
              // Need to push it back to be processed properly
              pushback();
          }
          return getNextAfterWs(false);
      }
docs: Method that should get next character, which has to be either specified
  character (usually end marker), OR, any character as long as there'
  at least one space character before it.