mirror of
https://github.com/openjdk/jdk.git
synced 2025-09-20 11:04:34 +02:00
8035473: [javadoc] Revamp the existing Doclet APIs
8146529: Update the new Doclet API 8146427: "-nohelp" option issue 8146475: "-helpfile" option issue Reviewed-by: alanb, bpatel, ihse, jjg, jlahoda, mchung, ogb, vromero
This commit is contained in:
parent
e2ab4ff25d
commit
cf406debb4
996 changed files with 128974 additions and 42 deletions
|
@ -261,7 +261,7 @@ public class CheckResourceKeys {
|
|||
if (cs.matches(".*\\.java"))
|
||||
continue;
|
||||
// ignore package and class names
|
||||
if (cs.matches("(com|java|javax|sun)\\.[A-Za-z.]+"))
|
||||
if (cs.matches("(com|java|javax|jdk|sun)\\.[A-Za-z.]+"))
|
||||
continue;
|
||||
// explicit known exceptions
|
||||
if (noResourceRequired.contains(cs))
|
||||
|
|
Loading…
Add table
Add a link
Reference in a new issue