Andreas Dangel 30124628f7 [java] Disallow local sealed/non-sealed classes ...

This is apparently not valid.

2021-07-30 11:06:51 +02:00

..

Java.jjt

[java] Disallow local sealed/non-sealed classes

2021-07-30 11:06:51 +02:00