A program written with a doclet API that specifies the content and format of the output to be generated by the Javadoc executor. A doclet can generate many kinds of text output, such as HTML, SGML, XML, RTF, and MIF. The IDE uses the standard doclet, which generates API documentation in HTML format. Doclets can also be used to check that all classes on which the Javadoc executor operates have documentation comments.