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