Fixed missing </caption> tag in javadoc output html
Made section heading in xdoc part of javadoc an <h3> element instead of
a too-small <b> element