before12.java

class Foo extends java.util.Vector {
    int <caret>method() {
        return super.toString();
    }
}