code: function extractJavadoc(str) {
    var lines = str
      .replace(/^[ \t]+|[ \t]+$/g, '') // Trim whitespace.
      .split('\n').map(function (line, i) {
        return i ? line.replace(/^\s*\*\s?/, '') : line;
      });
    while (!lines[0]) {
      lines.shift();
    }
    while (!lines[lines.length - 1]) {
      lines.pop();
    }
    return lines.join('\n');
  }
docs: Extract Javadoc contents from the comment.
  
  The parsing done is very simple and simply removes the line prefixes and
  leading / trailing empty lines. It's better to be conservative with
  formatting rather than risk losing information.