hg: amber/amber: javadoc: update handling of "not exhaustive" permits list

[jonathan.gibbons at oracle.com]

Changeset: 61dc64ca3023
Author:    jjg
Date:      2020-02-14 16:23 -0800
URL:       https://hg.openjdk.java.net/amber/amber/rev/61dc64ca3023

javadoc: update handling of "not exhaustive" permits list

! src/jdk.javadoc/share/classes/jdk/javadoc/internal/doclets/formats/html/AbstractExecutableMemberWriter.java
! src/jdk.javadoc/share/classes/jdk/javadoc/internal/doclets/formats/html/ClassWriterImpl.java
! src/jdk.javadoc/share/classes/jdk/javadoc/internal/doclets/formats/html/markup/HtmlStyle.java
! src/jdk.javadoc/share/classes/jdk/javadoc/internal/doclets/formats/html/resources/standard.properties
! src/jdk.javadoc/share/classes/jdk/javadoc/internal/doclets/toolkit/resources/stylesheet.css
! test/langtools/jdk/javadoc/doclet/testSealedTypes/TestSealedTypes.java