after4.java

// "Make 'a' abstract" "true"
import java.io.*;

abstract class <caret>a {
  void f() {
  }
  abstract void f2();
}