java/java-tests/testData/refactoring/inlineSuperClass/inlineSuperclassExtendsList/before/Super.java

interface Int {}

class Dummy {}

public class Super extends Dummy implements Int {
    public void main() {}
}