docs: public void badParam(String name, String value)
              throws ParseException {
          throw new ParseException("parameter " + name + " has bad value [[" +
                  value + "]] in " + ruleStack, 0);
      }