private String eatString() throws ParseException {
    StringBuilder b = new StringBuilder();
    if (getChar() != '"') {
      throw new ParseException("expected string", position);
    }
    for (; ; ) {
      char t = getChar();
      if (t == '"') {
        break;
      }
      b.append(t);
    }
    return b.toString();
  }
private String eatString() throws ParseException {
    StringBuilder b = new StringBuilder();
    if (getChar() != '"') {
      throw new ParseException("expected string", position);
    }
    for (; ; ) {
      char t = getChar();
      if (t == '"') {
        break;
      }
      b.append(t);
    }
    return b.toString();
  }
private String eatString ( ) throws ParseException { StringBuilder b = new StringBuilder ( ) ; if ( getChar ( ) != ' ' ) { throw new ParseException ( "expected string" , position ) ; } for ( ; ; ) { char t = getChar ( ) ; if ( t == ' ' ) { break ; } b . append ( t ) ; } return b . toString ( ) ; }
_more_

@return _more_
@throws ParseException _more_
_more_