Super.java

public class C2 extends C1 {
  public void f(int a1) {
    super.f(a1);
  }
}