hg: jdk/jdk: 8246199: 'permits' is a restricted identifier

[vicente.romero at oracle.com]

Changeset: 5b433fded322
Author:    vromero
Date:      2020-06-08 11:08 -0400
URL:       https://hg.openjdk.java.net/jdk/jdk/rev/5b433fded322

8246199: 'permits' is a restricted identifier
Reviewed-by: mcimadamore

! src/jdk.compiler/share/classes/com/sun/tools/javac/parser/JavacParser.java
! test/langtools/tools/javac/sealed/SealedCompilationTests.java