// "Add Method Body" "true"
class a {
 <caret>abstract String f();
}