[#2178] Change all Javadoc <h3/> tags to <h5/>