package bar.foo;
// A case of innerclass redefinition
class redef4 {
class foo { class bar { class foo {}}}
}