RFR JDK-8246199: 'permits' is a restricted identifier

[Maurizio Cimadamore]

Looks good

Maurizio

On 04/06/2020 19:28, Vicente Romero wrote:
> Please review fix for [1] at [2], `permits` is a restricted identifier 
> according to the sealed classes spec [3]. This patch will sync the 
> compiler with that part of the spec,
>
> Thanks,
> Vicente
>
> [1] https://bugs.openjdk.java.net/browse/JDK-8246199
> [2] http://cr.openjdk.java.net/~vromero/8246199/webrev.00/
> [3] 
> http://cr.openjdk.java.net/~gbierman/jep360/jep360-20200526/specs/sealed-classes-jls.html