Yes it is possible to add </p> to this changes, but actually </p> tag is not used in JavaSound docs. The last one were removed a few years ago. The <p> tag is used in assumption that it affect the text till the next <p> or till the end of the doc.
So for example in the MidiMessage.java/SizeSequence.java there are a few <p> tags which affects the text till the next <p>, and in this fix just one more <p> was added in the middle.
----- [hidden email] wrote:
Overall looks good.
One minor point - there are several places when you replace <center>
with <p> without end </p>.
Usually absent </p> doesn't cause any problem, but it would be better
have end tags for all elements.
I see this in
On 05/04/2017 18:15, Sergey Bylokhov wrote:
Please review the fix for jdk9-dev.
This fix is a part of the effort to make all javadoc in jdk9 be
compatible to HTML5.
In the fix the most common issues are fixed.
The issues related to tables will be fixed later, because it is
depends from the new html styles which are under review.
After the fix the number of errors reported during the build in