not_a_redef.java   [plain text]

package bar.foo;
// This is not a redef.

class not_a_redef {
 class baz { class bar { class foo {}} class foo {}}	
}