test/066-mismatched-super/src/Base.java

// Copyright 2008 The Android Open Source Project

public class Base extends Defs {
    // no need to implement func(), provided by abstract class
};