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

class redef3 {
  class foo { class bar {} class bar {}}
}