after25.java

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

class a {
  <caret>final void f() {}
}