private double eatReal() throws ParseException {
    StringBuilder b = new StringBuilder();
    for (; ; ) {
      char t = peek();
      if (Character.isDigit(t) || (t == 'e') || (t == 'E')
              || (t == '.') || (t == '-') || (t == '+')) {
        b.append(getChar());
      } else {
        break;
      }
    }
    try {
      return Double.parseDouble(b.toString());
    } catch (NumberFormatException e1) {
      throw new ParseException("bad number" + e1, position);
    }
  }
private double eatReal() throws ParseException {
    StringBuilder b = new StringBuilder();
    for (; ; ) {
      char t = peek();
      if (Character.isDigit(t) || (t == 'e') || (t == 'E')
              || (t == '.') || (t == '-') || (t == '+')) {
        b.append(getChar());
      } else {
        break;
      }
    }
    try {
      return Double.parseDouble(b.toString());
    } catch (NumberFormatException e1) {
      throw new ParseException("bad number" + e1, position);
    }
  }
private double eatReal ( ) throws ParseException { StringBuilder b = new StringBuilder ( ) ; for ( ; ; ) { char t = peek ( ) ; if ( Character . isDigit ( t ) || ( t == ' ' ) || ( t == ' ' ) || ( t == ' ' ) || ( t == ' ' ) || ( t == ' ' ) ) { b . append ( getChar ( ) ) ; } else { break ; } } try { return Double . parseDouble ( b . toString ( ) ) ; } catch ( NumberFormatException e1 ) { throw new ParseException ( "bad number" + e1 , position ) ; } }
_more_

@return _more_
@throws ParseException _more_
_more_