Workspace doclet

A program written with a doclet API that specifies the content and format of the output to be generated by the Javadoc tool. 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 Javadoc operates have documentation comments.