Dot12.java

public class Dot12 extends A {
    void foo1(){}

    {

        super.<caret>
    }
}

class A{
    void foo(){}
}