redef4.java   [plain text]

package bar.foo;
// A case of innerclass redefinition

class redef4 {
  class foo { class bar { class foo {}}}
}