libjava/testsuite/libjava.compile/not_a_redef.java

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

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