redef1.java   [plain text]

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

class redef1 {
    class redef1 {}
}