incorrect (?) handling of inner classes

Name: wm38563 Date: 12/09/98


compiling the following code with javac:
public class Example {
  Example() {
    class Inner{}
  }

  Object anon = new Object() {
    class Inner{}
  };
}

gives the following error:
Example.java:7: Class Example. 1.Inner already defined in Example.java.
    class Inner{}
          ^

but this restriction is not (as far as I have found) mentioned in the language spec
(Review ID: 47488)
======================================================================