Added HTMLDOC which can be used to convert Javadoc HTML to PDF