Adding HTML formatting to javadocs.