code: public void addParameter(String... paras) {
  
  		for (String parameter : paras) {
  			for (String knownDef : parameters) {
  				if (parameter.equals(knownDef)) {
  					throw new FuzzerException(name + ": parameter '" + parameter + "' already defined");
  				}
  			}
  			parameters.add(parameter);
  		}
  	}
docs: Add a function configuration parameter.
  
  @param paras the parameter definition(s)