local-statics-jls prohibits annotation interface declarations from occurring anywhere in the body of a local class.

JDK-8253374 permits static members of inner classes. With this change, it's possible for an annotation interface to be declared as a member of an *anonymous* class, and the rule doesn't prohibit it.

The rule in 9.6 should be updated to disallow nesting in both local classes and anonymous classes.