test/066-mismatched-super/src2/Defs.java

// Copyright 2008 The Android Open Source Project

public interface Defs {
    public void func();

    // func2 not defined
}