Super.java

interface Int {}

class Dummy {}