JavadoXML is a Doclet that produces XML as output.
This allows a user to use XSLT to customize the
look and feel of a Javadoc output.