public char skipTo(char to) throws JSONException {
  char c;
  try {
    int startIndex=this.index;
    int startCharacter=this.character;
    int startLine=this.line;
    reader.mark(8192);
    do {
      c=next();
      if (c == 0) {
        reader.reset();
        this.index=startIndex;
        this.character=startCharacter;
        this.line=startLine;
        return c;
      }
    }
 while (c != to);
  }
 catch (  IOException exc) {
    throw new JSONException(exc);
  }
  back();
  return c;
}

public char skipTo ( char to ) throws JSONException { char c ; try { int startIndex = this . index ; int startCharacter = this . character ; int startLine = this . line ; reader . mark ( 8192 ) ; do { c = next ( ) ; if ( c == 0 ) { reader . reset ( ) ; this . index = startIndex ; this . character = startCharacter ; this . line = startLine ; return c ; } } while ( c != to ) ; } catch ( IOException exc ) { throw new JSONException ( exc ) ; } back ( ) ; return c ; }
skip characters until the next character is the requested character . if the requested character is not found , unknown characters are skipped .
