code: static String sanitizeJavadoc(String documentation) {
      // Remove trailing whitespace on each line.
      documentation = documentation.replaceAll("[^\\S\n]+\n", "\n");
      documentation = documentation.replaceAll("\\s+$", "");
      documentation = documentation.replaceAll("\\*/", "&#42;/");
      // Rewrite '@see <url>' to use an html anchor tag
      documentation = documentation.replaceAll(
          "@see (http:" + URL_CHARS + "+)", "@see <a href=\"$1\">$1</a>");
      return documentation;
    }
docs: A grab-bag of fixes for things that can go wrong when converting to javadoc.