before18.java

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

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