http://cr.openjdk.java.net/~briangoetz/valhalla/sov/

The latest set of documents from here allow an inline class to mention a super class other than jlO:

Supertypes
Inline classes can implement interfaces. They cannot extend arbitrary classes, but they can extend a limited category of abstract classes – those with no fields, empty no-arg constructor bodies, no other constructors, no instance initializers, no synchronized methods, and whose superclasses all meet this same set of conditions (Object and Number are examples of such classes.)

While the full spec may take a while to implement, may I request that the check for only jlO being allowed as a super class be relaxed to allow any abstract class to begin with and then tighten the requirements per above ??

Otherwise, it would block langtools from testing ... TIA