code: private String parameter(Options opt, Parameter p[]) {
  	StringBuilder par = new StringBuilder(1000);
  	for (int i = 0; i < p.length; i++) {
  	    par.append(p[i].name() + typeAnnotation(opt, p[i].type()));
  	    if (i + 1 < p.length)
  		par.append(", ");
  	}
  	return par.toString();
      }
docs: Print the method parameter p