Given this source file:
````
package p;
public sealed class A { }
class B extends A { }
class C extends A { }
class D extends A { }
````

the list of permitted classes is currently generated as "D, C, B",
perhaps arising from prepending to javac-style lists.

Although probably not specified anywhere (yet?) it would be better if the classes were listed in "natural" order, meaning in this case, in source-file order.