package bar.foo; // This is not a redef. class not_a_redef { class baz { class bar { class foo {}} class foo {}} }