code: public boolean skipChar(int c) throws IOException {
  
  	// load more characters, if needed
  	if (fCurrentEntity.position == fCurrentEntity.count) {
  	    load(0, true);
  	}
  
  	// skip character
  	int cc = fCurrentEntity.ch[fCurrentEntity.position];
  	if (cc == c) {
  	    fCurrentEntity.position++;
  	    if (c == '\n') {
  		fCurrentEntity.lineNumber++;
  		fCurrentEntity.columnNumber = 1;
  	    }
  	    else {
  		fCurrentEntity.columnNumber++;
  	    }
  	    return true;
  	} else if (c == '\n' && cc == '\r' && fCurrentEntity.isExternal()) {
  	    // handle newlines
  	    if (fCurrentEntity.position == fCurrentEntity.count) {
  		fCurrentEntity.ch[0] = (char)cc;
  		load(1, false);
  	    }
  	    fCurrentEntity.position++;
  	    if (fCurrentEntity.ch[fCurrentEntity.position] == '\n') {
  		fCurrentEntity.position++;
  	    }
  	    fCurrentEntity.lineNumber++;
  	    fCurrentEntity.columnNumber = 1;
  	    return true;
  	}
  
  	// character was not skipped
  	return false;
  
      }
docs: Skips a character appearing immediately on the input.
  <p>
  <strong>Note:</strong> The character is consumed only if it matches
  the specified character.
  
  @param c The character to skip.
  
  @return Returns true if the character was skipped.
  
  @throws IOException  Thrown if i/o error occurs.
  @throws EOFException Thrown on end of file.