private void eatParameter() throws ParseException {
    eatOpenBrace();
    String parameterName = eatString();
    eatComma();
    Double value = eatReal();
    eatCloseBrace();
    parameters.put(parameterName.toLowerCase(), value);
  }
private void eatParameter() throws ParseException {
    eatOpenBrace();
    String parameterName = eatString();
    eatComma();
    Double value = eatReal();
    eatCloseBrace();
    parameters.put(parameterName.toLowerCase(), value);
  }
private void eatParameter ( ) throws ParseException { eatOpenBrace ( ) ; String parameterName = eatString ( ) ; eatComma ( ) ; Double value = eatReal ( ) ; eatCloseBrace ( ) ; parameters . put ( parameterName . toLowerCase ( ) , value ) ; }
_more_

@throws ParseException _more_
_more_