public static String formatDocString(StringLiteral docstring,DocStringOwner owner){
  String raw=docstring.getStringContents();
  String[] lines=raw.split("\n");
  StringBuilder output=new StringBuilder();
  output.append("<pre>");
  int initialIndent=-1;
  for (  String line : lines) {
    if (initialIndent == -1 && line.startsWith(" ")) {
      initialIndent=StringUtil.countChars(line,' ',0,true);
    }
    line=trimStart(line,initialIndent);
    if (!line.isEmpty()) {
      output.append(line);
    }
    output.append("<br>");
  }
  output.append("</pre>");
  return output.toString();
}

public static String formatDocString ( StringLiteral docstring , DocStringOwner owner ) { String raw = docstring . getStringContents ( ) ; String [ ] lines = raw . split ( "\n" ) ; StringBuilder output = new StringBuilder ( ) ; output . append ( "<pre>" ) ; int initialIndent = - 1 ; for ( String line : lines ) { if ( initialIndent == - 1 && line . startsWith ( " " ) ) { initialIndent = StringUtil . countChars ( line , ' ' , 0 , true ) ; } line = trimStart ( line , initialIndent ) ; if ( ! line . isEmpty ( ) ) { output . append ( line ) ; } output . append ( "<br>" ) ; } output . append ( "</pre>" ) ; return output . toString ( ) ; }
for now , present docstring almost verbatim , with a minimal indentation handling .
