after12.java

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