Looks fine. Mandy
On 5/31/19 10:37 AM, Jonathan Gibbons wrote:
Please review another round of fixes for HTML issues, this time in java.naming.As with the management APIs, there were some inconsistencies in the ranks for the headings, which have been addressed. The log with the simplified diff listing is attached.-- Jon JBS: https://bugs.openjdk.java.net/browse/JDK-8225129Webrev: http://cr.openjdk.java.net/~jjg/8225129/webrev.00/webrev/index.html