private static void appendDefaultValueIfSet(Document htmldoc,Parameter<?> par,Element optdd){
  if (par.hasDefaultValue()) {
    Element p=htmldoc.createElement(HTMLUtil.HTML_P_TAG);
    p.appendChild(htmldoc.createTextNode(HEADER_DEFAULT_VALUE));
    if (par instanceof ClassParameter<?>) {
      appendDefaultClassLink(htmldoc,par,p);
    }
 else     if (par instanceof RandomParameter && par.getDefaultValue() == RandomFactory.DEFAULT) {
      p.appendChild(htmldoc.createTextNode("use global random seed"));
    }
 else {
      p.appendChild(htmldoc.createTextNode(par.getDefaultValueAsString()));
    }
    optdd.appendChild(p);
  }
}

private static void appendDefaultValueIfSet ( Document htmldoc , Parameter < ? > par , Element optdd ) { if ( par . hasDefaultValue ( ) ) { Element p = htmldoc . createElement ( HTMLUtil . HTML_P_TAG ) ; p . appendChild ( htmldoc . createTextNode ( HEADER_DEFAULT_VALUE ) ) ; if ( par instanceof ClassParameter < ? > ) { appendDefaultClassLink ( htmldoc , par , p ) ; } else if ( par instanceof RandomParameter && par . getDefaultValue ( ) == RandomFactory . DEFAULT ) { p . appendChild ( htmldoc . createTextNode ( "use global random seed" ) ) ; } else { p . appendChild ( htmldoc . createTextNode ( par . getDefaultValueAsString ( ) ) ) ; } optdd . appendChild ( p ) ; } }
append string containing the default value .
